|
Repo Added
|
Files
35
|
Badge
README BADGES
|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 719261700 | restore-jedi | Merge 62f69639a into 655e24617 | Pull #345 | GitHub | github | pending completion | |
| 719259533 | restore-jedi | build: pin jedi again | push | Augusto W. Andreoli | github | pending completion |