Skip to content

Actions: Project-Navi/fd-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
329 workflow runs
329 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
docs: write docs site content with theorem catalog Lean CI #16: Pull request #3 opened by Fieldnote-Echo
1m 49s docs/content-migration
docs/content-migration
1m 49s
PR #3 CodeQL #12: by Fieldnote-Echo
50s refs/pull/3/head
refs/pull/3/head
50s
docs: write docs site content with LaTeX theorem catalog Lean CI #15: Commit c24157a pushed by Fieldnote-Echo
1m 56s docs/content-migration
docs/content-migration
1m 56s
Merge pull request #2 from Project-Navi/docs/scaffold-zensical-site Docs #1: Commit 63ab10e pushed by Fieldnote-Echo
25s main
main
25s
Merge pull request #2 from Project-Navi/docs/scaffold-zensical-site Lean CI #14: Commit 63ab10e pushed by Fieldnote-Echo
1m 39s main
main
1m 39s
Push on main CodeQL #11: by Fieldnote-Echo
49s main
main
49s
docs: scaffold Zensical docs site with Navi branding Lean CI #13: Pull request #2 opened by Fieldnote-Echo
1m 32s docs/scaffold-zensical-site
docs/scaffold-zensical-site
1m 32s
PR #2 CodeQL #10: by Fieldnote-Echo
53s refs/pull/2/head
refs/pull/2/head
53s
docs: scaffold Zensical docs site with Navi branding Lean CI #12: Commit afd314b pushed by Fieldnote-Echo
1m 35s docs/scaffold-zensical-site
docs/scaffold-zensical-site
1m 35s
fix: remove unused hu argument from flowerGraph' and dependencies Lean CI #11: Commit fc6158f pushed by Fieldnote-Echo
1m 33s main
main
1m 33s
Push on main CodeQL #9: by Fieldnote-Echo
44s main
main
44s
docs: add FlowerConstruction to axiom dashboard, polish README Lean CI #10: Commit 776eab3 pushed by Fieldnote-Echo
1m 42s main
main
1m 42s
Push on main CodeQL #8: by Fieldnote-Echo
48s main
main
48s
feat: close all FlowerConstruction sorries, complete F2 bridge Lean CI #9: Commit 26dc48a pushed by Fieldnote-Echo
1m 26s main
main
1m 26s
Push on main CodeQL #7: by Fieldnote-Echo
44s main
main
44s
docs: update status for Aristotle batch 2 integration Lean CI #8: Commit 00183c5 pushed by Fieldnote-Echo
1m 40s main
main
1m 40s
Push on main CodeQL #6: by Fieldnote-Echo
46s main
main
46s
docs: update FlowerConstruction status in CLAUDE.md file table Lean CI #7: Commit ca38705 pushed by Fieldnote-Echo
1m 24s main
main
1m 24s
Push on main CodeQL #5: by Fieldnote-Echo
47s main
main
47s
feat: reshape SimpleGraph.ball to open balls per Zulip consensus Lean CI #6: Commit 133756f pushed by Fieldnote-Echo
1m 41s main
main
1m 41s
Push on main CodeQL #4: by Fieldnote-Echo
44s main
main
44s
feat: prove pathGraph distance lemmas (zero sorry) Lean CI #5: Commit 7ad61cd pushed by Fieldnote-Echo
1m 27s main
main
1m 27s
Push on main CodeQL #3: by Fieldnote-Echo
44s main
main
44s
feat: add F2 bridge sketch, pathGraph stubs, CLAUDE.md, audit fixes Lean CI #4: Commit c41ee3c pushed by Fieldnote-Echo
1m 36s main
main
1m 36s
Push on main CodeQL #2: by Fieldnote-Echo
48s main
main
48s
ProTip! You can narrow down the results and go further in time using created:<2026-03-06 or the other filters available.