Skip to content

Actions: whonore/Coqtail

Actions

Python Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-tests.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added support for Final Obligation (#410) Python Tests #117: Commit a25018e pushed by whonore
20s main
main
20s
Fix RocqStop failing the second time, fix enable proof diffs Python Tests #116: Commit b3ed3e7 pushed by whonore
21s main
main
21s
Support Rocq 9.1 Python Tests #115: Commit b3d2b1e pushed by whonore
18s main
main
18s
Support Rocq 9.1 Python Tests #114: Pull request #407 synchronize by whonore
24s 9.1
9.1
24s
Support Rocq 9.1 Python Tests #113: Pull request #407 synchronize by whonore
19s 9.1
9.1
19s
Support Rocq 9.1 Python Tests #112: Pull request #407 synchronize by whonore
17s 9.1
9.1
17s
Support Rocq 9.1 Python Tests #111: Pull request #407 synchronize by whonore
32s 9.1
9.1
32s
Pass UnmatchedError.__init__ args to super __init__ Python Tests #110: Commit 17a06a4 pushed by whonore
18s main
main
18s
Pass UnmatchedError.__init__ args to super __init__ Python Tests #109: Pull request #408 synchronize by whonore
16s linter
linter
16s
Pass UnmatchedError.__init__ args to super __init__ Python Tests #108: Pull request #408 opened by whonore
27s linter
linter
27s
Support Rocq 9.1 Python Tests #107: Pull request #407 opened by whonore
18s 9.1
9.1
18s
Print an error message on start if coqidetop is not found (#401) Python Tests #106: Commit b12c31e pushed by whonore
17s main
main
17s
Print an error message on start if coqidetop is not found Python Tests #105: Pull request #401 opened by whonore
58s no-coqidetop-error
no-coqidetop-error
58s
Fix mypy warning about server_address (#399) Python Tests #104: Commit 192e405 pushed by whonore
17s main
main
17s
Fix mypy warning about server_address Python Tests #103: Pull request #399 opened by whonore
18s mypy-fix
mypy-fix
18s
Fix :q while Rocq is running (#398) Python Tests #102: Commit 1cd331a pushed by whonore
19s main
main
19s
support _RocqProject Python Tests #101: Commit d7cef56 pushed by whonore
16s main
main
16s
Use python 3.10 for CI, bump action versions (#389) Python Tests #100: Commit 2834085 pushed by whonore
22s main
main
22s
Use python 3.10 for CI, bump action versions (#389) Python Tests #99: Commit d539618 pushed by whonore
1m 10s main
main
1m 10s
Use python 3.10 for CI, bump action versions Python Tests #98: Pull request #389 synchronize by whonore
16s fix-actions
fix-actions
16s
Use python 3.10 for CI, bump action versions Python Tests #97: Pull request #389 synchronize by whonore
17s fix-actions
fix-actions
17s
Use python 3.10 for CI, bump action versions Python Tests #96: Pull request #389 opened by whonore
18s fix-actions
fix-actions
18s
Fix RocqToggleDebug regressions (#388) Python Tests #95: Commit 4293691 pushed by whonore
1s main
main
1s
Fix RocqToggleDebug regressions Python Tests #94: Pull request #388 opened by whonore
1s fix-toggle-debug
fix-toggle-debug
1s
Fix test badges Python Tests #93: Commit 262e4cf pushed by whonore
22s main
main
22s