Skip to content

Actions: hyperpolymath/verisimiser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
135 workflow runs
135 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 #135: Commit 1e39e14 pushed by hyperpolymath
3h 55m 31s main
main
3h 55m 31s
security: re-pin secret scanner onto the real gitleaks gate (#183) GitHub Pages #134: Commit 5a9500f pushed by hyperpolymath
1h 1m 3s main
main
1h 1m 3s
GitHub Pages GitHub Pages #133: Manually run by hyperpolymath
25m 59s main
main
25m 59s
fix(ci): clear OSSF Scorecard startup_failure (#181) GitHub Pages #132: Commit 3398da0 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#180) GitHub Pages #131: Commit 2956930 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(soundness): FFI octad ops fail loudly instead of reporting false … GitHub Pages #130: Commit 696c495 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#178) GitHub Pages #129: Commit ce26ae4 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #128: Commit 0d2e8e5 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: compositional sidecar isolation (write-effect monoid hom… GitHub Pages #127: Commit 3f4675c pushed by hyperpolymath
23m 58s main
main
23m 58s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175) GitHub Pages #126: Commit 77f6eb7 pushed by hyperpolymath
25m 1s main
main
25m 1s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)… GitHub Pages #125: Commit dd49dd3 pushed by hyperpolymath
21m 0s main
main
21m 0s
feat(abi): prove hash-chain integrity, version ordering & lineage acy… GitHub Pages #124: Commit b53a4c8 pushed by hyperpolymath
28m 34s main
main
28m 34s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + … GitHub Pages #123: Commit 5c1c44c pushed by hyperpolymath
31m 51s main
main
31m 51s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#171) GitHub Pages #122: Commit 56e6c5f pushed by hyperpolymath
2h 57m 17s main
main
2h 57m 17s
verisimiser: make ABI/FFI/codegen provably-real + honest docs (#167) GitHub Pages #121: Commit 86319db pushed by hyperpolymath
24m 44s main
main
24m 44s
P3: prove octad-model invariants as real bijections + sidecar isolati… GitHub Pages #120: Commit f4ea008 pushed by hyperpolymath
24m 32s main
main
24m 32s
P1: fix Zig FFI to compile under Zig 0.14.0 (#166) GitHub Pages #119: Commit 84162aa pushed by hyperpolymath
26m 41s main
main
26m 41s
Auto-install pinned Zig toolchain in setup + devcontainer (#165) GitHub Pages #118: Commit efd2291 pushed by hyperpolymath
33m 25s main
main
33m 25s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… GitHub Pages #117: Commit 6f9bdc2 pushed by hyperpolymath
21m 54s main
main
21m 54s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#163) GitHub Pages #116: Commit fe51a4a pushed by hyperpolymath
24m 29s main
main
24m 29s
chore(ci): add dormant push-email notification workflow (#162) GitHub Pages #115: Commit 76d0573 pushed by hyperpolymath
22h 23m 24s main
main
22h 23m 24s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … GitHub Pages #114: Commit 89baf58 pushed by hyperpolymath
1h 13m 37s main
main
1h 13m 37s
chore(clade): backfill [status] lifecycle block (#160) GitHub Pages #113: Commit 699f64e pushed by hyperpolymath
34m 22s main
main
34m 22s
chore(ci): bump standards reusable workflow pins (#159) GitHub Pages #112: Commit fc6c30b pushed by hyperpolymath
8h 8m 51s main
main
8h 8m 51s
chore(nix->guix): remove flake.nix (Guix-only) (#158) GitHub Pages #111: Commit 796eefb pushed by hyperpolymath
46m 5s main
main
46m 5s