Skip to content

Actions: hyperpolymath/mylangiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
119 workflow runs
119 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 Static Analysis Gate #119: Pull request #44 opened by hyperpolymath
11m 31s fix/scorecard-caller-startup
fix/scorecard-caller-startup
11m 31s
fix(clade): correct identity uuid (deterministic v5) Static Analysis Gate #118: Pull request #43 opened by hyperpolymath
18m 56s fix/clade-uuid
fix/clade-uuid
18m 56s
fix(clade): correct identity uuid (deterministic v5) (#43) Static Analysis Gate #117: Commit 6a62547 pushed by hyperpolymath
19m 1s main
main
19m 1s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Static Analysis Gate #116: Commit 083f07d pushed by hyperpolymath
50s main
main
50s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Static Analysis Gate #115: Pull request #42 synchronize by hyperpolymath
51s claude/new-session-znxgm7
claude/new-session-znxgm7
51s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Static Analysis Gate #114: Pull request #42 opened by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ABI Layer 5: end-to-end soundness capstone certificate (#41) Static Analysis Gate #113: Commit 3ba5465 pushed by hyperpolymath
51s main
main
51s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #112: Pull request #41 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Static Analysis Gate #111: Commit 3be9030 pushed by hyperpolymath
49s main
main
49s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #110: Pull request #40 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 3: transitivity of multi-step disclosure reachability (#39) Static Analysis Gate #109: Commit 8527ead pushed by hyperpolymath
4m 16s main
main
4m 16s
ABI Layer 3: transitivity of multi-step disclosure reachability Static Analysis Gate #108: Pull request #39 synchronize by hyperpolymath
1m 8s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 8s
abi: prove progressive-disclosure monotonicity (Layer 2 Semantics) (#38) Static Analysis Gate #107: Commit de44afa pushed by hyperpolymath
1m 39s main
main
1m 39s
ABI Layer 2: prove progressive-disclosure monotonicity — flagship Idris2 proof Static Analysis Gate #106: Pull request #38 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) Static Analysis Gate #105: Commit 593ab3a pushed by hyperpolymath
3h 6m 1s main
main
3h 6m 1s
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #104: Pull request #37 opened by hyperpolymath
3h 6m 8s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3h 6m 8s
ci: add ABI↔FFI conformance gate (#36) Static Analysis Gate #103: Commit 467b316 pushed by hyperpolymath
1m 15s main
main
1m 15s
ci: add ABI↔FFI conformance gate Static Analysis Gate #102: Pull request #36 opened by hyperpolymath
1m 4s claude/new-session-1fphit
claude/new-session-1fphit
1m 4s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) Static Analysis Gate #101: Commit 92a6172 pushed by hyperpolymath
10m 45s main
main
10m 45s
Auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #100: Pull request #35 opened by hyperpolymath
5m 32s claude/new-session-1fphit
claude/new-session-1fphit
5m 32s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Static Analysis Gate #99: Commit 376563e pushed by hyperpolymath
4m 19s main
main
4m 19s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #98: Pull request #34 opened by hyperpolymath
1m 17s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 17s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) Static Analysis Gate #97: Commit 7a34ba1 pushed by hyperpolymath
3m 29s main
main
3m 29s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #96: Pull request #33 opened by hyperpolymath
1m 47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 47s
chore(clade): backfill [status] lifecycle block (default active) (#31) Static Analysis Gate #95: Commit 9abeae4 pushed by hyperpolymath
1d 1h 1m 0s main
main
1d 1h 1m 0s