8000 Python Tests · Workflow runs · whonore/Coqtail · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: whonore/Coqtail

Actions

Python Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
< 8000 relative-time tense="past" datetime="2025-03-29T20:20:14Z" data-view-component="true">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
Appease mypy and pylint Python Tests #81: Pull request #376 synchronize by whonore
January 4, 2025 23:11 25s pylint-mypy
pylint-mypy
January 4, 2025 23:11 25s
Appease mypy and pylint Python Tests #80: Pull request #376 opened by whonore
January 4, 2025 22:38 29s pylint-mypy
pylint-mypy
January 4, 2025 22:38 29s
Coq 8.20 (#373) Python Tests #79: Commit 299d0ac pushed by whonore
September 17, 2024 17:13 26s main
main
September 17, 2024 17:13 26s
Coq 8.20 Python Tests #78: Pull request #373 synchronize by whonore
September 17, 2024 17:06 30s coq-8.20
coq-8.20
September 17, 2024 17:06 30s
Coq 8.20 Python Tests #77: Pull request #373 opened by whonore
September 17, 2024 17:04 32s coq-8.20
coq-8.20
September 17, 2024 17:04 32s
Adapt to https://github.com/coq/coq/pull/19530 (#372) Python Tests #76: Commit a582fba pushed by whonore
September 17, 2024 16:07 25s main
main
25s
0