Skip to content

Actions: Project-Navi/fd-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 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
OpenSSF Scorecard OpenSSF Scorecard #12: Scheduled
39s main
main
39s
CodeQL Analysis CodeQL Analysis #22: Scheduled
1m 5s main
main
1m 5s
OpenSSF Scorecard OpenSSF Scorecard #11: Scheduled
37s main
main
37s
CodeQL Analysis CodeQL Analysis #21: Scheduled
1m 0s main
main
1m 0s
OpenSSF Scorecard OpenSSF Scorecard #10: Scheduled
43s main
main
43s
CodeQL Analysis CodeQL Analysis #20: Scheduled
1m 1s main
main
1m 1s
uv in /. for Pygments - Update #1301051925 Dependabot Updates #1: by dependabot Bot
39s main
main
39s
OpenSSF Scorecard OpenSSF Scorecard #9: Scheduled
39s main
main
39s
CodeQL Analysis CodeQL Analysis #19: Scheduled
1m 11s main
main
1m 11s
Merge pull request #13 from Project-Navi/docs/post-proof-golf-update OpenSSF Scorecard #8: Commit fad8dfd pushed by project-navi-bot
31s main
main
31s
Merge pull request #13 from Project-Navi/docs/post-proof-golf-update CodeQL Analysis #18: Commit fad8dfd pushed by project-navi-bot
1m 8s main
main
1m 8s
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
Merge pull request #13 from Project-Navi/docs/post-proof-golf-update Docs #10: Commit fad8dfd pushed by project-navi-bot
29s main
main
29s
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 CodeQL Analysis #17: Pull request #13 opened by Fieldnote-Echo
1m 7s docs/post-proof-golf-update
docs/post-proof-golf-update
1m 7s
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 OpenSSF Scorecard #7: Commit 3263830 pushed by project-navi-bot
38s main
main
38s
Merge pull request #12 from Project-Navi/refactor/aristotle-proof-golf CodeQL Analysis #16: Commit 3263830 pushed by project-navi-bot
1m 13s main
main
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
refactor: proof golf from Aristotle — eliminate intermediate bindings CodeQL Analysis #15: Pull request #12 synchronize by project-navi-bot
1m 15s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 15s
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 OpenSSF Scorecard #6: Commit 9b10710 pushed by project-navi-bot
37s main
main
37s
Merge pull request #11 from Project-Navi/refactor/proof-style-cleanup CodeQL Analysis #14: Commit 9b10710 pushed by project-navi-bot
1m 5s main
main
1m 5s
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