Skip to content

Actions: hyperpolymath/mylangiser

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
110 workflow runs
110 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): clear OSSF Scorecard startup_failure (#44) Rust CI #110: Commit 2b75f85 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #109: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
Rust CI Rust CI #108: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#43) Rust CI #107: Commit 6a62547 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Rust CI #106: Commit 083f07d pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #105: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Rust CI Rust CI #104: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#41) Rust CI #103: Commit 3ba5465 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #102: 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 #101: Commit 3be9030 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #100: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: transitivity of multi-step disclosure reachability (#39) Rust CI #99: Commit 8527ead pushed by hyperpolymath
3m 4s main
main
3m 4s
ABI Layer 3: transitivity of multi-step disclosure reachability Rust CI #98: Pull request #39 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
abi: prove progressive-disclosure monotonicity (Layer 2 Semantics) (#38) Rust CI #97: Commit de44afa pushed by hyperpolymath
49s main
main
49s
ABI Layer 2: prove progressive-disclosure monotonicity — flagship Idris2 proof Rust CI #96: Pull request #38 opened by hyperpolymath
17s claude/new-session-znxgm7
claude/new-session-znxgm7
17s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) Rust CI #95: Commit 593ab3a pushed by hyperpolymath
3h 6m 5s main
main
3h 6m 5s
ci: refresh standards reusable pins to current HEAD (d7c2271) Rust CI #94: Pull request #37 opened by hyperpolymath
1h 25m 54s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 25m 54s
ci: add ABI↔FFI conformance gate (#36) Rust CI #93: Commit 467b316 pushed by hyperpolymath
1m 41s main
main
1m 41s
ci: add ABI↔FFI conformance gate Rust CI #92: Pull request #36 opened by hyperpolymath
19s claude/new-session-1fphit
claude/new-session-1fphit
19s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) Rust CI #91: Commit 92a6172 pushed by hyperpolymath
10m 18s main
main
10m 18s
Auto-install pinned Zig toolchain in setup + devcontainer Rust CI #90: Pull request #35 opened by hyperpolymath
4m 58s claude/new-session-1fphit
claude/new-session-1fphit
4m 58s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Rust CI #89: Commit 376563e pushed by hyperpolymath
4m 25s main
main
4m 25s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Rust CI #88: Pull request #34 opened by hyperpolymath
22s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
22s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) Rust CI #87: Commit 7a34ba1 pushed by hyperpolymath
4m 51s main
main
4m 51s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Rust CI #86: Pull request #33 opened by hyperpolymath
53s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
53s