Skip to content

Actions: JasonGross/neural-net-coq-interp

Actions

CI (Python)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python.yml
36 workflow runs
36 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
Bump actions/setup-python from 6 to 7 CI (Python) #285: Pull request #104 opened by dependabot Bot
2m 41s dependabot/github_actions/actions/setup-python-7
dependabot/github_actions/actions/setup-python-7
2m 41s
Bump actions/checkout from 6 to 7 CI (Python) #284: Pull request #103 opened by dependabot Bot
2m 39s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
2m 39s
Bump liskin/gh-problem-matcher-wrap from 3 to 4 CI (Python) #283: Pull request #102 opened by dependabot Bot
2m 31s dependabot/github_actions/liskin/gh-problem-matcher-wrap-4
dependabot/github_actions/liskin/gh-problem-matcher-wrap-4
2m 31s
Rocq CI: add 9.1/9.2/9.3 and a wide master row, drop 8.17-8.19, skip … CI (Python) #282: Commit 54ff850 pushed by JasonGross
2m 47s main
main
2m 47s
Rocq CI: add 9.1/9.2/9.3 and a wide master row, drop 8.17-8.19, skip on Python-only changes CI (Python) #281: Pull request #99 synchronize by JasonGross
2m 31s claude/fix-rocq-ci
claude/fix-rocq-ci
2m 31s
DO NOT MERGE: probe that a Python-only change skips the Rocq build jobs CI (Python) #280: Pull request #100 opened by JasonGross
2m 37s claude/ci-skip-probe
claude/ci-skip-probe
2m 37s
Rocq CI: add 9.1/9.2/9.3 and a wide master row, drop 8.17-8.19, skip on Python-only changes CI (Python) #279: Pull request #99 opened by JasonGross
2m 35s claude/fix-rocq-ci
claude/fix-rocq-ci
2m 35s
Merge pull request #98 from JasonGross/fix-python-ci-wandb CI (Python) #278: Commit c21dc15 pushed by JasonGross
3m 18s main
main
3m 18s
Fix Python CI: fetch the public wandb artifacts without a credential CI (Python) #277: Pull request #98 opened by JasonGross
2m 59s fix-python-ci-wandb
fix-python-ci-wandb
2m 59s
Let relation-pair notations inherit the stdlib level CI (Python) #276: Pull request #97 synchronize by JasonGross
2m 39s theorem-labs:claude/rocq-dev-compat
theorem-labs:claude/rocq-dev-compat
2m 39s
Bump actions/checkout from 5 to 6 (#94) CI (Python) #275: Commit 4f78afe pushed by JasonGross
3m 2s main
main
3m 2s
Let relation-pair notations inherit the stdlib level CI (Python) #274: Pull request #97 synchronize by JasonGross
9m 7s theorem-labs:claude/rocq-dev-compat
theorem-labs:claude/rocq-dev-compat
9m 7s
Let relation-pair notations inherit the stdlib level CI (Python) #273: Pull request #97 opened by JasonGross
2m 51s theorem-labs:claude/rocq-dev-compat
theorem-labs:claude/rocq-dev-compat
2m 51s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 CI (Python) #272: Pull request #96 opened by proux01
6h 5m 4s proux01:rocq21849
proux01:rocq21849
6h 5m 4s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 CI (Python) #271: Pull request #95 opened by proux01
6h 9m 52s proux01:rocq21849
proux01:rocq21849
6h 9m 52s
Bump actions/checkout from 5 to 6 CI (Python) #270: Pull request #94 opened by dependabot Bot
3m 25s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
3m 25s
Adapt to https://github.com/rocq-prover/rocq/pull/21211 (#87) CI (Python) #269: Pull request #93 opened by proux01
4m 32s proux01:rocq21211_tested
proux01:rocq21211_tested
4m 32s
Adapt to https://github.com/rocq-prover/rocq/pull/21211 CI (Python) #268: Pull request #87 synchronize by JasonGross
3m 24s proux01:rocq21211
proux01:rocq21211
3m 24s
Try opam update -y on Coq 8.20 and Coq 8.19 CI (Python) #267: Pull request #92 opened by JasonGross
2m 39s fix-ci-8-19-8-20
fix-ci-8-19-8-20
2m 39s
Try opam update -y on Coq 8.20 CI (Python) #266: Pull request #91 opened by JasonGross
3m 21s fix-ci-8-20
fix-ci-8-20
3m 21s
coq-vst demands coq < 8.21~ CI (Python) #265: Pull request #90 opened by JasonGross
2m 58s disable-vst
disable-vst
2m 58s
Adjust Coq versions CI (Python) #264: Pull request #76 synchronize by JasonGross
8m 5s adjust-ci
adjust-ci
8m 5s
Adjust Coq versions CI (Python) #263: Pull request #76 synchronize by JasonGross
2m 31s adjust-ci
adjust-ci
2m 31s
Adjust Coq versions CI (Python) #262: Pull request #76 synchronize by JasonGross
2m 42s adjust-ci
adjust-ci
2m 42s
[CI] Split deps and non-deps, use opam exec CI (Python) #261: Pull request #89 opened by JasonGross
2m 53s JasonGross-patch-1
JasonGross-patch-1
2m 53s