Skip to content

Actions: whonore/Coqtail

Actions

Python Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print an error message on start if coqidetop is not found (#401) Python Tests #106: Commit b12c31e pushed by whonore
August 3, 2025 20:09 17s main
main
August 3, 2025 20:09 17s
Print an error message on start if coqidetop is not found Python Tests #105: Pull request #401 opened by whonore
August 3, 2025 20:07 58s no-coqidetop-error
no-coqidetop-error
August 3, 2025 20:07 58s
Fix mypy warning about server_address (#399) Python Tests #104: Commit 192e405 pushed by whonore
July 20, 2025 18:37 17s main
main
July 20, 2025 18:37 17s
Fix mypy warning about server_address Python Tests #103: Pull request #399 opened by whonore
July 20, 2025 18:36 18s mypy-fix
mypy-fix
July 20, 2025 18:36 18s
Fix :q while Rocq is running (#398) Python Tests #102: Commit 1cd331a pushed by whonore
July 20, 2025 18:17 19s main
main
July 20, 2025 18:17 19s
support _RocqProject Python Tests #101: Commit d7cef56 pushed by whonore
July 9, 2025 03:35 16s main
main
July 9, 2025 03:35 16s
Use python 3.10 for CI, bump action versions (#389) Python Tests #100: Commit 2834085 pushed by whonore
June 6, 2025 04:43 22s main
main
June 6, 2025 04:43 22s
Use python 3.10 for CI, bump action versions (#389) Python Tests #99: Commit d539618 pushed by whonore
June 6, 2025 04:41 1m 10s main
main
June 6, 2025 04:41 1m 10s
Use python 3.10 for CI, bump action versions Python Tests #98: Pull request #389 synchronize by whonore
June 6, 2025 04:41 16s fix-actions
fix-actions
June 6, 2025 04:41 16s
Use python 3.10 for CI, bump action versions Python Tests #97: Pull request #389 synchronize by whonore
June 6, 2025 04:34 17s fix-actions
fix-actions
June 6, 2025 04:34 17s
Use python 3.10 for CI, bump action versions Python Tests #96: Pull request #389 opened by whonore
June 6, 2025 04:27 18s fix-actions
fix-actions
June 6, 2025 04:27 18s
Fix RocqToggleDebug regressions (#388) Python Tests #95: Commit 4293691 pushed by whonore
June 6, 2025 04:12 1s main
main
June 6, 2025 04:12 1s
Fix RocqToggleDebug regressions Python Tests #94: Pull request #388 opened by whonore
June 6, 2025 04:10 1s fix-toggle-debug
fix-toggle-debug
June 6, 2025 04:10 1s
Fix test badges Python Tests #93: Commit 262e4cf pushed by whonore
March 29, 2025 20:34 22s main
main
March 29, 2025 20:34 22s
Fix test badges Python Tests #92: Commit 317c76b pushed by whonore
March 29, 2025 20:33 26s main
main
March 29, 2025 20:33 26s
Release 1.8.0 Python Tests #91: Commit 764686a pushed by whonore
March 29, 2025 20:24 2m 15s main
main
March 29, 2025 20:24 2m 15s
Support Rocq 9.0 (#383) Python Tests #90: Commit aade4e7 pushed by whonore
March 29, 2025 20:20 23s main
main
March 29, 2025 20:20 23s
Support Rocq 9.0 Python Tests #89: Pull request #383 synchronize by whonore
March 29, 2025 20:16 25s rocq-9
rocq-9
March 29, 2025 20:16 25s
Support Rocq 9.0 Python Tests #88: Pull request #383 opened by whonore
March 29, 2025 19:56 55s rocq-9
rocq-9
March 29, 2025 19:56 55s
Parse named goal selectors correctly Python Tests #87: Commit 77ff3fa pushed by whonore
February 23, 2025 23:17 25s main
main
February 23, 2025 23:17 25s
Parse named goal selectors correctly Python Tests #86: Pull request #380 opened by whonore
February 23, 2025 23:14 26s parse-named-goal-selector
parse-named-goal-selector
February 23, 2025 23:14 26s
Fix Set Default Proof Mode being ignored (#377) Python Tests #85: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 29s main
main
January 4, 2025 23:22 29s
Fix Set Default Proof Mode being ignored Python Tests #84: Pull request #377 opened by whonore
January 4, 2025 23:19 26s set-option-with-add
set-option-with-add
January 4, 2025 23:19 26s
Fix CI (#376) Python Tests #83: Commit 851130c pushed by whonore
January 4, 2025 23:17 27s main
main
January 4, 2025 23:17 27s
Appease mypy and pylint Python Tests #82: Pull request #376 synchronize by whonore
January 4, 2025 23:14 28s pylint-mypy
pylint-mypy
January 4, 2025 23:14 28s