Skip to content

Actions: Project-Navi/fd-formalization

Actions

Lean CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
72 workflow runs
72 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
chore(deps): bump pymdown-extensions from 10.21 to 10.21.3 in the uv group across 1 directory Lean CI #72: Pull request #15 opened by dependabot Bot
1m 28s dependabot/uv/uv-ab67d3f053
dependabot/uv/uv-ab67d3f053
1m 28s
chore(deps): bump pymdown-extensions in the uv group across 1 directory Lean CI #71: Commit 613cb64 pushed by dependabot Bot
1m 10s dependabot/uv/uv-ab67d3f053
dependabot/uv/uv-ab67d3f053
1m 10s
Merge pull request #14 from Project-Navi/docs/simplegraph-ball-upstre… Lean CI #70: Commit 36e84ac pushed by project-navi-bot
2m 37s main
main
2m 37s
docs: mark SimpleGraph.ball upstreamed in Mathlib #36443 Lean CI #69: Pull request #14 opened by Fieldnote-Echo
2m 56s docs/simplegraph-ball-upstreamed
docs/simplegraph-ball-upstreamed
2m 56s
docs: mark SimpleGraph.ball upstreamed in Mathlib #36443 Lean CI #68: Commit e8c38b2 pushed by Fieldnote-Echo
2m 45s docs/simplegraph-ball-upstreamed
docs/simplegraph-ball-upstreamed
2m 45s
Merge pull request #13 from Project-Navi/docs/post-proof-golf-update Lean CI #67: Commit fad8dfd pushed by project-navi-bot
1m 9s main
main
1m 9s
docs: update README and reference docs after proof golf PRs Lean CI #66: Pull request #13 opened by Fieldnote-Echo
1m 8s docs/post-proof-golf-update
docs/post-proof-golf-update
1m 8s
docs: update README and reference docs after proof golf PRs Lean CI #65: Commit 9c31dc5 pushed by Fieldnote-Echo
1m 13s docs/post-proof-golf-update
docs/post-proof-golf-update
1m 13s
Merge pull request #12 from Project-Navi/refactor/aristotle-proof-golf Lean CI #64: Commit 3263830 pushed by project-navi-bot
2m 58s main
main
2m 58s
refactor: proof golf from Aristotle — eliminate intermediate bindings Lean CI #63: Pull request #12 synchronize by project-navi-bot
1m 49s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 49s
Merge branch 'main' into refactor/aristotle-proof-golf Lean CI #62: Commit a91672f pushed by project-navi-bot
1m 46s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 46s
Merge pull request #11 from Project-Navi/refactor/proof-style-cleanup Lean CI #61: Commit 9b10710 pushed by project-navi-bot
2m 21s main
main
2m 21s
refactor: proof golf from Aristotle — eliminate intermediate bindings Lean CI #60: Pull request #12 synchronize by Fieldnote-Echo
1m 20s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 20s
refactor: restore named squeeze waypoints in headline theorem Lean CI #59: Commit 5e32d8a pushed by Fieldnote-Echo
1m 21s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 21s
refactor: proof golf from Aristotle — eliminate intermediate bindings Lean CI #58: Pull request #12 synchronize by Fieldnote-Echo
1m 26s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 26s
refactor: restore named squeeze waypoints in headline theorem Lean CI #57: Commit b681fb0 pushed by Fieldnote-Echo
1m 30s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 30s
refactor: proof golf from Aristotle — eliminate intermediate bindings Lean CI #56: Pull request #12 opened by Fieldnote-Echo
2m 51s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
2m 51s
refactor: proof golf from Aristotle — eliminate intermediate bindings Lean CI #55: Commit 1df0eaf pushed by Fieldnote-Echo
2m 43s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
2m 43s
refactor: tighten proof style from Mathlib PR review feedback Lean CI #54: Pull request #11 synchronize by Fieldnote-Echo
1m 37s refactor/proof-style-cleanup
refactor/proof-style-cleanup
1m 37s
refactor: tighten proof style from Mathlib PR review feedback Lean CI #53: Commit 0765cd0 pushed by Fieldnote-Echo
1m 37s refactor/proof-style-cleanup
refactor/proof-style-cleanup
1m 37s
refactor: tighten proof style from Mathlib PR review feedback Lean CI #52: Pull request #11 opened by Fieldnote-Echo
1m 35s refactor/proof-style-cleanup
refactor/proof-style-cleanup
1m 35s
refactor: tighten proof style from Mathlib PR review feedback Lean CI #51: Commit 2ebbdbb pushed by Fieldnote-Echo
1m 29s refactor/proof-style-cleanup
refactor/proof-style-cleanup
1m 29s
fix: update shared scorecard workflow ref to include id-token fix Lean CI #50: Commit 0daec0e pushed by Fieldnote-Echo
1m 35s main
main
1m 35s
ci: unified org settings — lean tier contract (#10) Lean CI #49: Commit 148d790 pushed by Fieldnote-Echo
1m 31s main
main
1m 31s
ci: unified org settings — lean tier contract Lean CI #48: Pull request #10 synchronize by Fieldnote-Echo
1m 55s ci/unified-org-settings
ci/unified-org-settings
1m 55s