Skip to content

Actions: hyperpolymath/typedqliser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
68 workflow runs
68 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(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #68: Commit b992990 pushed by hyperpolymath
2h 43m 18s main
main
2h 43m 18s
security: re-pin secret scanner onto the real gitleaks gate (#46) GitHub Pages #67: Commit 9eae7f9 pushed by hyperpolymath
31m 23s main
main
31m 23s
fix(ci): clear OSSF Scorecard startup_failure (#45) GitHub Pages #66: Commit 86cdee3 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#44) GitHub Pages #65: Commit 2f98d85 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(sql): validate tables inside subqueries and derived tables (L2) … GitHub Pages #64: Commit 5e92e58 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(sql): null-check SELECT * and recognise CTE names (L4/L2 soundne… GitHub Pages #63: Commit 55a2ec3 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(sql): resolve table aliases across L2/L3/L4 safety checks (#41) GitHub Pages #62: Commit 5bda716 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… GitHub Pages #61: Commit 280dcb5 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#39) GitHub Pages #60: Commit 579d759 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #59: Commit 5957feb pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: NullSafe (level 4) — a deeper, context-sensitive query-s… GitHub Pages #58: Commit b55c2b7 pushed by hyperpolymath
20m 25s main
main
20m 25s
P3: prove TypeCompat (level 3) as a real operand-type-compatibility g… GitHub Pages #57: Commit 592255d pushed by hyperpolymath
27m 59s main
main
27m 59s
P3: prove SchemaBound (level 2) as a real schema-resolution guarantee… GitHub Pages #56: Commit 0b4089c pushed by hyperpolymath
18m 45s main
main
18m 45s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#34) GitHub Pages #55: Commit 6d367ae pushed by hyperpolymath
2h 48m 53s main
main
2h 48m 53s
P3: prove InjectionFree (level 5) as a real query-checking guarantee … GitHub Pages #54: Commit a03cd3d pushed by hyperpolymath
24m 34s main
main
24m 34s
P1: implement missing FFI functions + fix result-code semantics (#32) GitHub Pages #53: Commit 4b1839b pushed by hyperpolymath
25m 39s main
main
25m 39s
Auto-install pinned Zig toolchain in setup + devcontainer (#31) GitHub Pages #52: Commit 62bfa85 pushed by hyperpolymath
31m 46s main
main
31m 46s
ABI: scaffold a real, verified Idris2 ABI (10 type-safety levels) (#30) GitHub Pages #51: Commit a98c5cb pushed by hyperpolymath
26m 35s main
main
26m 35s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#29) GitHub Pages #50: Commit 2de8295 pushed by hyperpolymath
23m 44s main
main
23m 44s
chore(ci): add dormant push-email notification workflow (#28) GitHub Pages #49: Commit 6e2a1ad pushed by hyperpolymath
22h 43m 41s main
main
22h 43m 41s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) GitHub Pages #48: Commit 799bafe pushed by hyperpolymath
1h 5m 59s main
main
1h 5m 59s
chore(clade): backfill [status] lifecycle block (default active) (#26) GitHub Pages #47: Commit 5800e0a pushed by hyperpolymath
46m 46s main
main
46m 46s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#25) GitHub Pages #46: Commit 8678a24 pushed by hyperpolymath
7h 42m 47s main
main
7h 42m 47s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#24) GitHub Pages #45: Commit ad7860e pushed by hyperpolymath
55m 38s main
main
55m 38s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #44: Commit 220fd34 pushed by hyperpolymath
1h 23m 46s main
main
1h 23m 46s