Skip to content

Actions: hyperpolymath/gql-dt

Actions

Lean 4 Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-build.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: complete GQL-DT to 100% production-ready status Lean 4 Build #15: Commit c3c089f pushed by hyperpolymath
45s main
main
45s
fix: remove duplicate SCM files from root Lean 4 Build #14: Commit 2668472 pushed by hyperpolymath
2h 30m 21s main
main
2h 30m 21s
general update Lean 4 Build #13: Commit ecd5c2f pushed by hyperpolymath
3m 35s main
main
3m 35s
docs: update SCM files with project information Lean 4 Build #12: Commit 130cfea pushed by hyperpolymath
3h 6m 30s main
main
3h 6m 30s
docs: add notice about move to formdb monorepo Lean 4 Build #11: Commit bf1a7de pushed by hyperpolymath
40s main
main
40s
general update Lean 4 Build #10: Commit 606867e pushed by hyperpolymath
1h 11m 10s main
main
1h 11m 10s
Add Rhodium dotfiles Lean 4 Build #9: Commit 41486b3 pushed by hyperpolymath
12m 34s main
main
12m 34s
fix: Serialization.lean builds successfully + type class instances Lean 4 Build #8: Commit 817ece6 pushed by hyperpolymath
32s main
main
32s
fix: partially fix Serialization.lean and TypeSafe.lean Lean 4 Build #7: Commit c47f1e6 pushed by hyperpolymath
28s main
main
28s
docs: update STATE.scm with AST.lean completion session Lean 4 Build #6: Commit 5cc5893 pushed by hyperpolymath
31s main
main
31s
fix: resolve nested inductive type error in AST.lean (partial) Lean 4 Build #5: Commit 38b1539 pushed by hyperpolymath
29s main
main
29s
feat: add comprehensive cryptographic standards to Trustfile Lean 4 Build #4: Commit 9249de4 pushed by hyperpolymath
27s main
main
27s
docs: update fdql-dt completion to 85% in unified roadmap Lean 4 Build #3: Commit 9737e19 pushed by hyperpolymath
31s main
main
31s
docs: add comprehensive status section to README Lean 4 Build #2: Commit 769f30c pushed by hyperpolymath
30s main
main
30s
feat: Phase 1 seam analysis fixes - 34/35 modules building Lean 4 Build #1: Commit 4aa9a0a pushed by hyperpolymath
35s main
main
35s