Skip to content

Actions: hyperpolymath/atsiser

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
128 workflow runs
128 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 #128: Commit 76a8a45 pushed by hyperpolymath
3h 51m 17s main
main
3h 51m 17s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Rust CI #127: Pull request #54 opened by hyperpolymath
1h 11m 2s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 11m 2s
security: re-pin secret scanner onto the real gitleaks gate (#53) Rust CI #126: Commit 7a974a2 pushed by hyperpolymath
53m 52s main
main
53m 52s
Rust CI Rust CI #125: opened by hyperpolymath
Startup failure security/real-secret-gate
security/real-secret-gate
Startup failure
chore(deps): bump regex from 1.12.3 to 1.13.0 (#52) Rust CI #124: Commit 67e4865 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #123: opened by dependabot Bot
Startup failure dependabot/cargo/regex-1.13.0
dependabot/cargo/regex-1.13.0
Startup failure
ci: Secret Scanner caller must grant the reusable's job permissions (… Rust CI #122: Commit 67aed16 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #121: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#50) Rust CI #120: Commit 34c9ee1 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #119: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#49) Rust CI #118: Commit 1176671 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #117: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#48) Rust CI #116: Commit 2656f00 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #115: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
Rust CI Rust CI #114: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#47) Rust CI #113: Commit e65ee21 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #112: 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 #111: Commit 87aad80 pushed by hyperpolymath
Startup failure main
main
Startup failure
Rust CI Rust CI #110: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: transition soundness of linear free (state + address p… Rust CI #109: Commit 38ac343 pushed by hyperpolymath
21s main
main
21s
ABI Layer 3: transition soundness of linear free (state + address preservation) Rust CI #108: Pull request #45 synchronize by hyperpolymath
36s claude/new-session-znxgm7
claude/new-session-znxgm7
36s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/do… Rust CI #107: Commit 4ad7cb3 pushed by hyperpolymath
21s main
main
21s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof Rust CI #106: Pull request #44 opened by hyperpolymath
16s claude/new-session-znxgm7
claude/new-session-znxgm7
16s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#43) Rust CI #105: Commit 04b3009 pushed by hyperpolymath
49m 58s main
main
49m 58s
ci: refresh standards reusable pins to current HEAD (d7c2271) Rust CI #104: Pull request #43 opened by hyperpolymath
4m 10s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
4m 10s