Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
235 workflow runs
235 workflow runs

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
fix(license): SPDX AGPL-3.0 → PMPL-1.0-or-later in dotfiles Mirror to Git Forges #35: Commit 96f8518 pushed by hyperpolymath
25m 21s main
main
25m 21s
fix: seam audit — add copyright lines to references.bib files Mirror to Git Forges #34: Commit a7946f5 pushed by hyperpolymath
3m 15s main
main
3m 15s
spec: add system specifications for VeriSimDB, Lithoglyph, TypeQL-Exp Mirror to Git Forges #33: Commit 5506079 pushed by hyperpolymath
3m 3s main
main
3m 3s
docs: add bibliographies for VeriSimDB, Lithoglyph, TypeQL-Experimental Mirror to Git Forges #32: Commit 8b98bc0 pushed by hyperpolymath
2m 59s main
main
2m 59s
spec: add operational semantics for TypeQL-Experimental Mirror to Git Forges #31: Commit fc3fffa pushed by hyperpolymath
3m 9s main
main
3m 9s
docs: add white papers for GQL (Lithoglyph) and TypeQL-Experimental Mirror to Git Forges #30: Commit bdb2450 pushed by hyperpolymath
3m 5s main
main
3m 5s
chore: sync local changes Mirror to Git Forges #29: Commit a2703d2 pushed by hyperpolymath
3m 9s main
main
3m 9s
feat(lithoglyph): expand test coverage to ~348 tests, fix GQL-DT pipe… Mirror to Git Forges #28: Commit 32b63bc pushed by hyperpolymath
3m 12s main
main
3m 12s
feat(verisimdb): add 47 VQL end-to-end integration tests Mirror to Git Forges #27: Commit bfdf54b pushed by hyperpolymath
3m 4s main
main
3m 4s
fix(verisimdb): bump reqwest 0.12→0.13, add query feature for Dependa… Mirror to Git Forges #26: Commit ba80382 pushed by hyperpolymath
3m 11s main
main
3m 11s
fix: migrate lithoglyph API layer to Zig 0.15.2 Mirror to Git Forges #25: Commit f8b58c5 pushed by hyperpolymath
3m 25s main
main
3m 25s
fix: move @max_indexes before first use to fix type comparison warning Mirror to Git Forges #24: Commit ec213f2 pushed by hyperpolymath
3m 22s main
main
3m 22s
fix: resolve Pipeline.lean compilation errors and fix test references Mirror to Git Forges #23: Commit decfe98 pushed by hyperpolymath
3m 6s main
main
3m 6s
fix: eliminate unsafe_coerce, add path traversal prevention, add safe… Mirror to Git Forges #22: Commit 68e3698 pushed by hyperpolymath
3m 8s main
main
3m 8s
fix: eliminate remaining sorry in TypeChecker and TypeSafetyTests Mirror to Git Forges #21: Commit 6167e79 pushed by hyperpolymath
3m 6s main
main
3m 6s
fix: standardise PROMPT dimensions and copyright headers across pipeline Mirror to Git Forges #20: Commit d0a0246 pushed by hyperpolymath
3m 5s main
main
3m 5s
Implement L4-L6: financial/entity collections, ingest bridge, entity … Mirror to Git Forges #19: Commit 85302bf pushed by hyperpolymath
3m 9s main
main
3m 9s
feat: convert lithoglyph from stale gitlink to tracked files + Phase … Mirror to Git Forges #18: Commit db45570 pushed by hyperpolymath
3m 18s main
main
3m 18s
chore(deps): Bump quinn-proto Mirror to Git Forges #17: Commit c07bb73 pushed by hyperpolymath
3m 12s main
main
3m 12s
Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE) Mirror to Git Forges #16: Commit 4871108 pushed by hyperpolymath
19m 44s main
main
19m 44s
refactor: rename hexad→octad universally across VeriSimDB Mirror to Git Forges #15: Commit 77b4d10 pushed by hyperpolymath
3m 10s main
main
3m 10s
chore: hypatia auto-fix (5 formulaic fixes) Mirror to Git Forges #14: Commit 6e82681 pushed by hyperpolymath
14m 21s main
main
14m 21s
feat: generate 295 repo summaries + fix ingest script + add outcomes/… Mirror to Git Forges #13: Commit ba32be0 pushed by hyperpolymath
7m 43s main
main
7m 43s
chore(deps-dev): Bump esbuild Mirror to Git Forges #12: Commit 4174ec4 pushed by hyperpolymath
3m 14s main
main
3m 14s
Merge pull request #2 from hyperpolymath/dependabot/cargo/verisimdb/c… Mirror to Git Forges #11: Commit 3a66212 pushed by hyperpolymath
3m 6s main
main
3m 6s