Skip to content

Actions: shuanat/collatz-lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
Documentation and planning: Architecture, PaperCodeMapping, PaperMapp… Lean 4 CI #11: Commit 6219091 pushed by shuanat
2m 58s main
main
2m 58s
docs(mapping): record W5 hardened H.main interfaces Lean 4 CI #10: Commit 4da4090 pushed by shuanat
2m 29s main
main
2m 29s
Add semantic hardening plan Lean 4 CI #9: Commit bcd2b85 pushed by shuanat
1m 59s main
main
1m 59s
Merge pull request #3 from shuanat/codex/fix-missing-lake-build-comma… Lean 4 CI #8: Commit c667b4e pushed by shuanat
1m 12s main
main
1m 12s
Improve Lean CI toolchain setup Lean 4 CI #7: Pull request #3 opened by shuanat
1m 19s codex/fix-missing-lake-build-command-in-container
codex/fix-missing-lake-build-command-in-container
1m 19s
feat: Complete Semigroup.lean formalization Lean 4 CI #6: Commit 2a9fe0f pushed by shuanat
1m 12s main
main
1m 12s
docs: unify naming to Ord‑Fact across docs and comments Lean 4 CI #5: Commit 286459a pushed by shuanat
1m 30s main
main
1m 30s
docs: update README with overview and lake build instructions; mark O… Lean 4 CI #4: Commit 5573ae7 pushed by shuanat
1m 1s main
main
1m 1s
chore: hide internal reports from repo (.gitignore + untrack) Lean 4 CI #3: Commit 8e2d0af pushed by shuanat
1m 3s main
main
1m 3s
chore: hide internal reports from repo (.gitignore + untrack) Lean 4 CI #2: Commit eb95e79 pushed by shuanat
58s main
main
58s
chore: initialize repo with LICENSE and .gitignore Lean 4 CI #1: Commit 13fcdf6 pushed by shuanat
2m 6s main
main
2m 6s