Skip to content

Actions: Project-Navi/cd-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
153 workflow runs
153 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
49s main
main
49s
CodeQL Analysis CodeQL Analysis #20: Scheduled
1m 4s main
main
1m 4s
OpenSSF Scorecard OpenSSF Scorecard #11: Scheduled
45s main
main
45s
CodeQL Analysis CodeQL Analysis #19: Scheduled
1m 7s main
main
1m 7s
OpenSSF Scorecard OpenSSF Scorecard #10: Scheduled
39s main
main
39s
CodeQL Analysis CodeQL Analysis #18: Scheduled
1m 8s main
main
1m 8s
OpenSSF Scorecard OpenSSF Scorecard #9: Scheduled
51s main
main
51s
CodeQL Analysis CodeQL Analysis #17: Scheduled
1m 2s main
main
1m 2s
OpenSSF Scorecard OpenSSF Scorecard #8: Scheduled
35s main
main
35s
CodeQL Analysis CodeQL Analysis #16: Scheduled
1m 3s main
main
1m 3s
uv in /. for Pygments - Update #1301066875 Dependabot Updates #1: by dependabot Bot
44s main
main
44s
OpenSSF Scorecard OpenSSF Scorecard #7: Scheduled
39s main
main
39s
CodeQL Analysis CodeQL Analysis #15: Scheduled
1m 6s main
main
1m 6s
Merge pull request #8 from Project-Navi/refactor/proof-golf-aristotle OpenSSF Scorecard #6: Commit eb9364a pushed by project-navi-bot
36s main
main
36s
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
Merge pull request #8 from Project-Navi/refactor/proof-golf-aristotle CodeQL Analysis #14: Commit eb9364a pushed by project-navi-bot
1m 5s main
main
1m 5s
refactor: golf proofs from Aristotle optimization run CodeQL Analysis #13: Pull request #8 synchronize by project-navi-bot
1m 16s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
1m 16s
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 CodeQL Analysis #12: Pull request #8 synchronize by Fieldnote-Echo
59s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
59s
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 CodeQL Analysis #11: Pull request #8 opened by Fieldnote-Echo
1m 7s refactor/proof-golf-aristotle
refactor/proof-golf-aristotle
1m 7s
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