Skip to content

Actions: Project-Navi/cd-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 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
chore(deps): bump pymdown-extensions from 10.21 to 10.21.3 in the uv group across 1 directory Lean CI #80: Pull request #9 opened by dependabot Bot
3m 59s dependabot/uv/uv-ab67d3f053
dependabot/uv/uv-ab67d3f053
3m 59s
chore(deps): bump pymdown-extensions from 10.21 to 10.21.3 in the uv group across 1 directory CodeQL Analysis #23: Pull request #9 opened by dependabot Bot
1m 5s dependabot/uv/uv-ab67d3f053
dependabot/uv/uv-ab67d3f053
1m 5s
chore(deps): bump pymdown-extensions in the uv group across 1 directory Lean CI #79: Commit 33c2cb5 pushed by dependabot Bot
3m 27s dependabot/uv/uv-ab67d3f053
dependabot/uv/uv-ab67d3f053
3m 27s
uv in /. for Pygments, pymdown-extensions - Update #1375067093 Dependabot Updates #2: by dependabot Bot
1m 5s main
main
1m 5s
OpenSSF Scorecard OpenSSF Scorecard #14: Scheduled
36s main
main
36s
CodeQL Analysis CodeQL Analysis #22: Scheduled
1m 1s main
main
1m 1s
OpenSSF Scorecard OpenSSF Scorecard #13: Scheduled
48s main
main
48s
CodeQL Analysis CodeQL Analysis #21: Scheduled
1m 6s main
main
1m 6s
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