Skip to content

Actions: Project-Navi/cd-formalization

Actions

Lean CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
78 workflow runs
78 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
Merge pull request #8 from Project-Navi/refactor/proof-golf-aristotle Lean CI #78: Commit eb9364a pushed by project-navi-bot
3m 9s main
main
3m 9s
refactor: golf proofs from Aristotle optimization run Lean CI #77: Pull request #8 synchronize by project-navi-bot
3m 22s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
3m 22s
Merge branch 'main' into refactor/proof-golf-aristotle Lean CI #76: Commit f918731 pushed by project-navi-bot
3m 11s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
3m 11s
refactor: golf proofs from Aristotle optimization run Lean CI #75: Pull request #8 synchronize by Fieldnote-Echo
1m 7s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
1m 7s
chore: add CODEOWNERS for Fieldnote-Echo and project-navi-bot Lean CI #74: Commit 8a0b3f0 pushed by Fieldnote-Echo
3m 2s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
3m 2s
refactor: golf proofs from Aristotle optimization run Lean CI #73: Pull request #8 opened by Fieldnote-Echo
1m 42s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
1m 42s
refactor: golf proofs from Aristotle optimization run Lean CI #72: Commit 6a4c0a7 pushed by Fieldnote-Echo
2m 57s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
2m 57s
fix: update shared scorecard workflow ref to include id-token fix Lean CI #71: Commit 6668c5d pushed by Fieldnote-Echo
1m 47s main
main
1m 47s
ci: unified org settings — lean tier contract (#7) Lean CI #70: Commit 9efa9f9 pushed by Fieldnote-Echo
1m 45s main
main
1m 45s
ci: unified org settings — lean tier contract Lean CI #69: Pull request #7 synchronize by Fieldnote-Echo
1m 53s ci/unified-org-settings
ci/unified-org-settings
1m 53s
chore: trigger CI re-evaluation Lean CI #68: Commit 4b1942d pushed by Fieldnote-Echo
2m 18s ci/unified-org-settings
ci/unified-org-settings
2m 18s
chore: trigger CI re-evaluation Lean CI #67: Commit f2f15bf pushed by Fieldnote-Echo
19s ci/unified-org-settings
ci/unified-org-settings
19s
ci: unified org settings — lean tier contract Lean CI #66: Pull request #7 synchronize by Fieldnote-Echo
19s ci/unified-org-settings
ci/unified-org-settings
19s
ci: unified org settings — lean tier contract Lean CI #65: Pull request #7 synchronize by Fieldnote-Echo
1m 59s ci/unified-org-settings
ci/unified-org-settings
1m 59s
chore: trigger CI re-evaluation Lean CI #64: Commit 50e7a47 pushed by Fieldnote-Echo
2m 4s ci/unified-org-settings
ci/unified-org-settings
2m 4s
ci: unified org settings — lean tier contract Lean CI #63: Pull request #7 synchronize by Fieldnote-Echo
1m 48s ci/unified-org-settings
ci/unified-org-settings
1m 48s
chore: retrigger bot after workflow reload Lean CI #62: Commit 2ddd984 pushed by Fieldnote-Echo
1m 43s ci/unified-org-settings
ci/unified-org-settings
1m 43s
ci: unified org settings — lean tier contract Lean CI #61: Pull request #7 synchronize by Fieldnote-Echo
1m 56s ci/unified-org-settings
ci/unified-org-settings
1m 56s
chore: trigger navi-bot approval Lean CI #60: Commit 8bfdb97 pushed by Fieldnote-Echo
1m 48s ci/unified-org-settings
ci/unified-org-settings
1m 48s
ci: unified org settings — lean tier contract Lean CI #59: Pull request #7 opened by Fieldnote-Echo
2m 1s ci/unified-org-settings
ci/unified-org-settings
2m 1s
ci: add CodeQL + Scorecard, harden lean CI for org ruleset contract Lean CI #58: Commit bc4ca15 pushed by Fieldnote-Echo
2m 4s ci/unified-org-settings
ci/unified-org-settings
2m 4s
fix: vendor brand CSS and remove private repo fetch (#6) Lean CI #57: Commit b107f91 pushed by Fieldnote-Echo
1m 42s main
main
1m 42s
fix: vendor brand CSS and remove private repo fetch Lean CI #56: Pull request #6 opened by Fieldnote-Echo
1m 40s fix/vendor-brand-css
fix/vendor-brand-css
1m 40s
fix: vendor brand CSS and remove private repo fetch Lean CI #55: Commit 2a77c3a pushed by Fieldnote-Echo
1m 46s fix/vendor-brand-css
fix/vendor-brand-css
1m 46s
fix: remove duplicate brand CSS fetch step in docs workflow Lean CI #54: Commit d15e1fd pushed by Fieldnote-Echo
1m 58s main
main
1m 58s