Skip to content

Actions: hyperpolymath/verisimiser

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
268 workflow runs
268 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… Rust CI #268: Commit 1e39e14 pushed by hyperpolymath
3h 57m 12s main
main
3h 57m 12s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Rust CI #267: Pull request #184 opened by hyperpolymath
4h 14m 25s fix/governance-gate-sweep
fix/governance-gate-sweep
4h 14m 25s
security: re-pin secret scanner onto the real gitleaks gate (#183) Rust CI #266: Commit 5a9500f pushed by hyperpolymath
58m 18s main
main
58m 18s
security: re-pin secret scanner onto the real gitleaks gate Rust CI #265: Pull request #183 opened by hyperpolymath
1h 25m 25s security/real-secret-gate
security/real-secret-gate
1h 25m 25s
fix(ci): clear OSSF Scorecard startup_failure (#181) Rust CI #264: Commit 3398da0 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #263: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#180) Rust CI #262: Commit 2956930 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #261: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
fix(soundness): FFI octad ops fail loudly instead of reporting false … Rust CI #260: Commit 696c495 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #259: opened by hyperpolymath
-1s claude/new-session-znxgm7
claude/new-session-znxgm7
-1s
ABI Layer 5: end-to-end soundness capstone certificate (#178) Rust CI #258: Commit ce26ae4 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #257: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Rust CI #256: Commit 0d2e8e5 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #255: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: compositional sidecar isolation (write-effect monoid hom… Rust CI #254: Commit 3f4675c pushed by hyperpolymath
1m 12s main
main
1m 12s
ABI Layer 3: compositional sidecar isolation (write-effect monoid homomorphism) Rust CI #253: Pull request #176 synchronize by hyperpolymath
1m 5s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 5s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175) Rust CI #252: Commit 77f6eb7 pushed by hyperpolymath
55s main
main
55s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate Rust CI #251: Pull request #175 opened by hyperpolymath
56s claude/abi-ffi-gate-julia-pin
claude/abi-ffi-gate-julia-pin
56s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)… Rust CI #250: Commit dd49dd3 pushed by hyperpolymath
52s main
main
52s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python) Rust CI #249: Pull request #174 opened by hyperpolymath
1m 3s claude/abi-ffi-gate-julia
claude/abi-ffi-gate-julia
1m 3s
feat(abi): prove hash-chain integrity, version ordering & lineage acy… Rust CI #248: Commit b53a4c8 pushed by hyperpolymath
1m 38s main
main
1m 38s
feat(abi): prove hash-chain integrity, version ordering & lineage acyclicity (Idris2) Rust CI #247: Pull request #173 opened by hyperpolymath
45s claude/verisimiser-abi-proofs
claude/verisimiser-abi-proofs
45s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + … Rust CI #246: Commit 5c1c44c pushed by hyperpolymath
1m 0s main
main
1m 0s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + CC-BY-SA-4.0 Rust CI #245: Pull request #172 opened by hyperpolymath
56s claude/resolve-pr-167-jeczsh
claude/resolve-pr-167-jeczsh
56s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#171) Rust CI #244: Commit 56e6c5f pushed by hyperpolymath
2h 47m 53s main
main
2h 47m 53s