Skip to content

Actions: hyperpolymath/typed-wasm

Actions

.github/workflows/workflow-linter.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
157 workflow runs
157 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
proof(abi): discharge witness-discarding attestations + reconcile #130 .github/workflows/workflow-linter.yml #157: Commit 4f0c3e5 pushed by hyperpolymath
Failure proof-debt/standards-130-attestation-soundness
proof-debt/standards-130-attestation-soundness
Failure
chore: drop unused package-lock.json .github/workflows/workflow-linter.yml #156: Commit 2fd5a56 pushed by hyperpolymath
-1s chore/drop-package-lock
chore/drop-package-lock
-1s
proof(abi): discharge witness-discarding attestations + reconcile #130 .github/workflows/workflow-linter.yml #155: Commit 4f0c3e5 pushed by hyperpolymath
Failure proof-debt/standards-130-attestation-soundness
proof-debt/standards-130-attestation-soundness
Failure
fix(ci): build Hypatia escript from repo root (estate dogfood drift) .github/workflows/workflow-linter.yml #154: Commit a8ce992 pushed by hyperpolymath
Failure main
main
Failure
chore: retire ReScript guidance text → AffineScript (Estate Item 9) .github/workflows/workflow-linter.yml #153: Commit 497a5fd pushed by hyperpolymath
Failure chore/item9-rescript-to-affinescript-guidance
chore/item9-rescript-to-affinescript-guidance
Failure
chore: drop unused package-lock.json (#25) .github/workflows/workflow-linter.yml #152: Commit 4fcec7f pushed by hyperpolymath
Failure main
main
Failure
chore: drop unused package-lock.json .github/workflows/workflow-linter.yml #151: Commit 2fd5a56 pushed by hyperpolymath
Failure chore/drop-package-lock
chore/drop-package-lock
Failure
docs: record typed-wasm-verify Rust port (C1-C5) in repo-level docs (… .github/workflows/workflow-linter.yml #150: Commit e90e2d1 pushed by hyperpolymath
Failure main
main
Failure
docs: record typed-wasm-verify Rust port (C1-C5) in repo-level docs .github/workflows/workflow-linter.yml #149: Commit c5db0c9 pushed by hyperpolymath
Failure chore/docs-c1-c5
chore/docs-c1-c5
Failure
feat(verify): cross-compat integration suite (C5) (#23) .github/workflows/workflow-linter.yml #148: Commit 67006ed pushed by hyperpolymath
Failure main
main
Failure
feat(verify): cross-compat integration suite (C5) .github/workflows/workflow-linter.yml #147: Commit 554364c pushed by hyperpolymath
Failure feat/typed-wasm-verify-c5-cross-compat
feat/typed-wasm-verify-c5-cross-compat
Failure
feat(verify): cross-module boundary verifier (C4) (#22) .github/workflows/workflow-linter.yml #146: Commit 3e9d4bc pushed by hyperpolymath
Failure main
main
Failure
feat(verify): cross-compat integration suite (C5) .github/workflows/workflow-linter.yml #145: Commit bafec75 pushed by hyperpolymath
Failure feat/typed-wasm-verify-c5-cross-compat
feat/typed-wasm-verify-c5-cross-compat
Failure
feat(verify): cross-module boundary verifier (C4) .github/workflows/workflow-linter.yml #144: Commit f0dba5b pushed by hyperpolymath
Failure feat/typed-wasm-verify-c4-cross-module
feat/typed-wasm-verify-c4-cross-module
Failure
feat(verify): per-path use-range analysis + intra-fn verifier (C3) (#21) .github/workflows/workflow-linter.yml #143: Commit e11bb98 pushed by hyperpolymath
Failure main
main
Failure
feat(verify): per-path use-range analysis + intra-fn verifier (C3) .github/workflows/workflow-linter.yml #142: Commit 103db89 pushed by hyperpolymath
Failure feat/typed-wasm-verify-c3-intra-fn
feat/typed-wasm-verify-c3-intra-fn
Failure
feat(verify): port affinescript.ownership custom-section codec (C2)… .github/workflows/workflow-linter.yml #141: Commit ee1abb1 pushed by hyperpolymath
Failure main
main
Failure
feat(verify): port affinescript.ownership custom-section codec (C2) .github/workflows/workflow-linter.yml #140: Commit b598e58 pushed by hyperpolymath
Failure feat/typed-wasm-verify-c2-section-parser
feat/typed-wasm-verify-c2-section-parser
Failure
feat(verify): scaffold typed-wasm-verify Rust crate (C1) .github/workflows/workflow-linter.yml #139: Commit 1e247de pushed by hyperpolymath
Failure feat/typed-wasm-verify-rust-port
feat/typed-wasm-verify-rust-port
Failure
feat(verify): scaffold typed-wasm-verify Rust crate (C1) (#19) .github/workflows/workflow-linter.yml #138: Commit 90e894b pushed by hyperpolymath
Failure main
main
Failure
feat(verify): per-path use-range analysis + intra-fn verifier (C3) .github/workflows/workflow-linter.yml #137: Commit 63b1880 pushed by hyperpolymath
Failure feat/typed-wasm-verify-c3-intra-fn
feat/typed-wasm-verify-c3-intra-fn
Failure
feat(verify): port affinescript.ownership custom-section codec (C2) .github/workflows/workflow-linter.yml #136: Commit 88fcf34 pushed by hyperpolymath
Failure feat/typed-wasm-verify-c2-section-parser
feat/typed-wasm-verify-c2-section-parser
Failure
feat(verify): scaffold typed-wasm-verify Rust crate (C1) .github/workflows/workflow-linter.yml #135: Commit 1e247de pushed by hyperpolymath
Failure feat/typed-wasm-verify-rust-port
feat/typed-wasm-verify-rust-port
Failure
feat(verify): scaffold typed-wasm-verify Rust crate (C1) .github/workflows/workflow-linter.yml #134: Commit 2d63b52 pushed by hyperpolymath
Failure feat/typed-wasm-verify-rust-port
feat/typed-wasm-verify-rust-port
Failure
feat(verify): per-path use-range analysis + intra-fn verifier (C3) .github/workflows/workflow-linter.yml #133: Commit 2283161 pushed by hyperpolymath
Failure feat/typed-wasm-verify-c3-intra-fn
feat/typed-wasm-verify-c3-intra-fn
Failure