Skip to content

Actions: Project-Navi/takens-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 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
Scheduled CodeQL #39: by github-advanced-security AI
38s main
main
38s
Scheduled CodeQL #38: by github-advanced-security AI
59s main
main
59s
Scheduled CodeQL #37: by github-advanced-security AI
39s main
main
39s
Scheduled CodeQL #36: by github-advanced-security AI
43s main
main
43s
Scheduled CodeQL #35: by github-advanced-security AI
46s main
main
46s
Merge pull request #12 from Project-Navi/chore/gitignore-cleanup Lean CI #45: Commit 8bca202 pushed by project-navi-bot
3m 10s main
main
3m 10s
Push on main CodeQL #34: by github-advanced-security AI
1m 12s main
main
1m 12s
chore: gitignore playwright cache and root-level screenshots Lean CI #44: Pull request #12 opened by Fieldnote-Echo
3m 14s chore/gitignore-cleanup
chore/gitignore-cleanup
3m 14s
PR #12 CodeQL #33: by Fieldnote-Echo
52s refs/pull/12/head
refs/pull/12/head
52s
chore: gitignore playwright cache and root-level browser-check screen… Lean CI #43: Commit ad11351 pushed by Fieldnote-Echo
3m 21s chore/gitignore-cleanup
chore/gitignore-cleanup
3m 21s
Scheduled CodeQL #32: by github-advanced-security AI
41s main
main
41s
Scheduled CodeQL #31: by github-advanced-security AI
46s main
main
46s
Scheduled CodeQL #30: by github-advanced-security AI
40s main
main
40s
Scheduled CodeQL #29: by github-advanced-security AI
48s main
main
48s
Merge pull request #11 from Project-Navi/docs/site-scaffold Lean CI #42: Commit c2ea603 pushed by project-navi-bot
1m 50s main
main
1m 50s
Merge pull request #11 from Project-Navi/docs/site-scaffold Docs #4: Commit c2ea603 pushed by project-navi-bot
33s main
main
33s
Push on main CodeQL #28: by project-navi-bot
49s main
main
49s
fix: MathJax rendering in theorem blocks and display math Lean CI #41: Pull request #11 opened by Fieldnote-Echo
1m 52s docs/site-scaffold
docs/site-scaffold
1m 52s
PR #11 CodeQL #27: by Fieldnote-Echo
54s refs/pull/11/head
refs/pull/11/head
54s
fix: convert all display math to single-line $$ for arithmatex compat… Lean CI #40: Commit d2497a6 pushed by Fieldnote-Echo
1m 44s docs/site-scaffold
docs/site-scaffold
1m 44s
Merge pull request #10 from Project-Navi/docs/site-scaffold Docs #3: Commit 77d98db pushed by project-navi-bot
27s main
main
27s
Merge pull request #10 from Project-Navi/docs/site-scaffold Lean CI #39: Commit 77d98db pushed by project-navi-bot
2m 8s main
main
2m 8s
Push on main CodeQL #26: by project-navi-bot
48s main
main
48s
fix: MathJax rendering in theorem blocks Lean CI #38: Pull request #10 opened by Fieldnote-Echo
1m 49s docs/site-scaffold
docs/site-scaffold
1m 49s
PR #10 CodeQL #25: by Fieldnote-Echo
53s refs/pull/10/head
refs/pull/10/head
53s