Skip to content

Actions: Project-Navi/fd-formalization

Actions

CodeQL Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
27 workflow runs
27 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 #14 from Project-Navi/docs/simplegraph-ball-upstre… CodeQL Analysis #27: Commit 36e84ac pushed by project-navi-bot
1m 20s main
main
1m 20s
docs: mark SimpleGraph.ball upstreamed in Mathlib #36443 CodeQL Analysis #26: Pull request #14 opened by Fieldnote-Echo
1m 9s docs/simplegraph-ball-upstreamed
docs/simplegraph-ball-upstreamed
1m 9s
CodeQL Analysis CodeQL Analysis #25: Scheduled
1m 6s main
main
1m 6s
CodeQL Analysis CodeQL Analysis #24: Scheduled
1m 7s main
main
1m 7s
CodeQL Analysis CodeQL Analysis #23: Scheduled
1m 6s main
main
1m 6s
CodeQL Analysis CodeQL Analysis #22: Scheduled
1m 5s main
main
1m 5s
CodeQL Analysis CodeQL Analysis #21: Scheduled
1m 0s main
main
1m 0s
CodeQL Analysis CodeQL Analysis #20: Scheduled
1m 1s main
main
1m 1s
CodeQL Analysis CodeQL Analysis #19: Scheduled
1m 11s main
main
1m 11s
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
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
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
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 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
refactor: proof golf from Aristotle — eliminate intermediate bindings CodeQL Analysis #13: Pull request #12 synchronize by Fieldnote-Echo
1m 11s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 11s
refactor: proof golf from Aristotle — eliminate intermediate bindings CodeQL Analysis #12: Pull request #12 synchronize by Fieldnote-Echo
1m 7s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 7s
refactor: proof golf from Aristotle — eliminate intermediate bindings CodeQL Analysis #11: Pull request #12 opened by Fieldnote-Echo
1m 10s refactor/aristotle-proof-golf
refactor/aristotle-proof-golf
1m 10s
CodeQL Analysis CodeQL Analysis #10: Scheduled
1m 6s main
main
1m 6s
CodeQL Analysis CodeQL Analysis #9: Scheduled
1m 9s main
main
1m 9s
refactor: tighten proof style from Mathlib PR review feedback CodeQL Analysis #8: Pull request #11 synchronize by Fieldnote-Echo
1m 5s refactor/proof-style-cleanup
refactor/proof-style-cleanup
1m 5s
refactor: tighten proof style from Mathlib PR review feedback CodeQL Analysis #7: Pull request #11 opened by Fieldnote-Echo
1m 8s refactor/proof-style-cleanup
refactor/proof-style-cleanup
1m 8s
fix: update shared scorecard workflow ref to include id-token fix CodeQL Analysis #6: Commit 0daec0e pushed by Fieldnote-Echo
1m 8s main
main
1m 8s
ci: unified org settings — lean tier contract (#10) CodeQL Analysis #5: Commit 148d790 pushed by Fieldnote-Echo
1m 5s main
main
1m 5s
ci: unified org settings — lean tier contract CodeQL Analysis #4: Pull request #10 synchronize by Fieldnote-Echo
1m 17s ci/unified-org-settings
ci/unified-org-settings
1m 17s
ci: unified org settings — lean tier contract CodeQL Analysis #3: Pull request #10 synchronize by Fieldnote-Echo
17s ci/unified-org-settings
ci/unified-org-settings
17s