Skip to content

Actions: numpde/grimace-py

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
110 workflow runs
110 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Closed: temporary South Star 2 qualification harness CI #125: Pull request #6 synchronize by numpde
1h 12m 10s south-star-2-ci
south-star-2-ci
1h 12m 10s
Closed: temporary South Star 2 qualification harness CI #124: Pull request #6 synchronize by numpde
3m 24s south-star-2-ci
south-star-2-ci
3m 24s
Closed: temporary South Star 2 qualification harness CI #123: Pull request #6 synchronize by numpde
5m 33s south-star-2-ci
south-star-2-ci
5m 33s
Closed: temporary South Star 2 qualification harness CI #121: Pull request #6 synchronize by numpde
1m 56s south-star-2-ci
south-star-2-ci
1m 56s
Closed: temporary South Star 2 qualification harness CI #120: Pull request #6 synchronize by numpde
3m 43s south-star-2-ci
south-star-2-ci
3m 43s
Closed: temporary South Star 2 qualification harness CI #119: Pull request #6 synchronize by numpde
3m 16s south-star-2-ci
south-star-2-ci
3m 16s
Closed: temporary South Star 2 qualification harness CI #118: Pull request #6 opened by numpde
1m 46s south-star-2-ci
south-star-2-ci
1m 46s
CI CI #117: Manually run by numpde
25m 20s south-star-1
south-star-1
25m 20s
CI CI #116: Manually run by numpde
6m 33s south-star-1
south-star-1
6m 33s
Define tetra residual transition proof terms CI #115: Pull request #4 opened by numpde
35m 26s codex/residual-transition-term-20260710
codex/residual-transition-term-20260710
35m 26s
Add fixture-backed parity examples CI #114: Commit b860e24 pushed by numpde
2m 35s main
main
2m 35s
Factor repeated CI Python setup CI #113: Pull request #3 opened by numpde
17m 52s ci/factor-python-setup-action
ci/factor-python-setup-action
17m 52s
Reduce PR CI wall time without sharding CI #112: Pull request #2 opened by numpde
18m 18s ci/focus-python-pr-suite
ci/focus-python-pr-suite
18m 18s
Expose stereo blockers in writer reachability audit CI #111: Pull request #1 opened by numpde
19m 58s fix/writer-audit-stereo-blockers
fix/writer-audit-stereo-blockers
19m 58s
Prepare v0.1.18 release CI #110: Commit 14c0605 pushed by numpde
2m 37s main
main
2m 37s
Deduplicate compose hardening checks CI #109: Commit 4887552 pushed by numpde
2m 30s main
main
2m 30s
Fetch tags in docs checks workflow CI #108: Commit 2edea31 pushed by numpde
2m 30s main
main
2m 30s
Support Python 3.11 through 3.14 wheels CI #107: Commit 272b905 pushed by numpde
2m 28s main
main
2m 28s
Prepare v0.1.17 release CI #106: Commit 15c784d pushed by numpde
4m 22s main
main
4m 22s
Reuse fixture JSON reader for source manifests CI #105: Commit f094b15 pushed by numpde
2m 45s main
main
2m 45s
Prepare v0.1.16 release CI #104: Commit e3ac684 pushed by numpde
2m 34s main
main
2m 34s
Refresh release docs for v0.1.15 CI #103: Commit d0644e1 pushed by numpde
2m 26s main
main
2m 26s
Revise v0.1.14 release notes CI #102: Commit d91c4f9 pushed by numpde
2m 25s main
main
2m 25s
Prepare v0.1.13 release CI #101: Commit 71b42a1 pushed by numpde
2m 18s main
main
2m 18s
Prepare v0.1.12 release CI #100: Commit 6ed11dc pushed by numpde
2m 21s main
main
2m 21s