Skip to content

Actions: stepchowfun/proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
576 workflow runs
576 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Update GitHub Actions (#838) Continuous integration #5292: Commit 3ae08e5 pushed by stepchowfun
1m 41s main
main
1m 41s
Update GitHub Actions Continuous integration #5291: Pull request #838 opened by stepchowfun
1m 37s update-deps
update-deps
1m 37s
Update Lean and mathlib (#837) Continuous integration #5290: Commit d6bf00f pushed by stepchowfun
2m 25s main
main
2m 25s
Update Lean and mathlib Continuous integration #5289: Pull request #837 opened by stepchowfun
14m 22s update-deps
update-deps
14m 22s
Update GitHub Actions (#836) Continuous integration #5288: Commit d1e54d5 pushed by stepchowfun
3m 28s main
main
3m 28s
Update GitHub Actions Continuous integration #5287: Pull request #836 opened by stepchowfun
4m 23s update-deps
update-deps
4m 23s
Update Lean and mathlib (#835) Continuous integration #5286: Commit 04aafdc pushed by stepchowfun
25m 52s main
main
25m 52s
Update Lean and mathlib Continuous integration #5285: Pull request #835 opened by stepchowfun
20m 26s update-deps
update-deps
20m 26s
Update GitHub Actions (#834) Continuous integration #5284: Commit b9f48f2 pushed by stepchowfun
3m 30s main
main
3m 30s
Update GitHub Actions Continuous integration #5283: Pull request #834 opened by stepchowfun
3m 39s update-deps
update-deps
3m 39s
Format issue templates (#833) Continuous integration #5282: Commit d995a2f pushed by stepchowfun
3m 18s main
main
3m 18s
Format issue templates Continuous integration #5281: Pull request #833 opened by stepchowfun
3m 48s codex/format-issue-templates-20260708
codex/format-issue-templates-20260708
3m 48s
Update Rocq to 9.2.0 (#832) Continuous integration #5280: Commit 96f9281 pushed by stepchowfun
20m 44s main
main
20m 44s
Update Rocq to 9.2.0 Continuous integration #5279: Pull request #832 synchronize by stepchowfun
19m 33s update-rocq-9.2.0
update-rocq-9.2.0
19m 33s
Update Rocq to 9.2.0 Continuous integration #5278: Pull request #832 synchronize by stepchowfun
16m 27s update-rocq-9.2.0
update-rocq-9.2.0
16m 27s
Update Rocq to 9.2.0 Continuous integration #5277: Pull request #832 synchronize by stepchowfun
16m 27s update-rocq-9.2.0
update-rocq-9.2.0
16m 27s
Update Rocq to 9.2.0 Continuous integration #5276: Pull request #832 opened by stepchowfun
7m 55s update-rocq-9.2.0
update-rocq-9.2.0
7m 55s
Update Lean to v4.31.0 (#831) Continuous integration #5275: Commit 56fd7e5 pushed by stepchowfun
34m 25s main
main
34m 25s
Update Lean to v4.31.0 Continuous integration #5274: Pull request #831 synchronize by stepchowfun
24m 18s update-lean-4.31.0
update-lean-4.31.0
24m 18s
Update Lean to v4.31.0 Continuous integration #5273: Pull request #831 opened by stepchowfun
14m 5s update-lean-4.31.0
update-lean-4.31.0
14m 5s
Merge pull request #830 from stepchowfun/update-github-actions Continuous integration #5272: Commit a65416e pushed by stepchowfun
3m 32s main
main
3m 32s
Update GitHub Actions to latest versions Continuous integration #5271: Pull request #830 opened by stepchowfun
2m 57s update-github-actions
update-github-actions
2m 57s
Add Tagref configuration (#829) Continuous integration #5270: Commit e8a93e5 pushed by stepchowfun
4m 7s main
main
4m 7s
Add Tagref configuration Continuous integration #5269: Pull request #829 opened by stepchowfun
3m 56s codex/add-tagref-config
codex/add-tagref-config
3m 56s
Merge pull request #828 from stepchowfun/update-dependencies-2026-04-25 Continuous integration #5268: Commit 01be049 pushed by stepchowfun
29m 55s main
main
29m 55s