Skip to content

Actions: hyperpolymath/typed-wasm

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
195 workflow runs
195 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 Code Quality #195: Commit 4f0c3e5 pushed by hyperpolymath
13h 11m 7s proof-debt/standards-130-attestation-soundness
proof-debt/standards-130-attestation-soundness
13h 11m 7s
fix(ci): build Hypatia escript from repo root (estate dogfood drift) Code Quality #194: Commit a8ce992 pushed by hyperpolymath
6h 41m 48s main
main
6h 41m 48s
chore: Item 9 — retire ReScript guidance → AffineScript Code Quality #193: Pull request #26 opened by hyperpolymath
8m 11s chore/item9-rescript-to-affinescript-guidance
chore/item9-rescript-to-affinescript-guidance
8m 11s
chore: retire ReScript guidance text → AffineScript (Estate Item 9) Code Quality #192: Commit 497a5fd pushed by hyperpolymath
6m 44s chore/item9-rescript-to-affinescript-guidance
chore/item9-rescript-to-affinescript-guidance
6m 44s
chore: drop unused package-lock.json (#25) Code Quality #191: Commit 4fcec7f pushed by hyperpolymath
2h 12m 5s main
main
2h 12m 5s
chore: drop unused package-lock.json Code Quality #190: Pull request #25 opened by hyperpolymath
42m 19s chore/drop-package-lock
chore/drop-package-lock
42m 19s
chore: drop unused package-lock.json Code Quality #189: Commit 2fd5a56 pushed by hyperpolymath
36m 46s chore/drop-package-lock
chore/drop-package-lock
36m 46s
docs: record typed-wasm-verify Rust port (C1-C5) in repo-level docs (… Code Quality #188: Commit e90e2d1 pushed by hyperpolymath
28s main
main
28s
docs: record typed-wasm-verify Rust port (C1-C5) in repo-level docs Code Quality #187: Pull request #24 opened by hyperpolymath
23s chore/docs-c1-c5
chore/docs-c1-c5
23s
docs: record typed-wasm-verify Rust port (C1-C5) in repo-level docs Code Quality #186: Commit c5db0c9 pushed by hyperpolymath
21s chore/docs-c1-c5
chore/docs-c1-c5
21s
feat(verify): cross-compat integration suite (C5) (#23) Code Quality #185: Commit 67006ed pushed by hyperpolymath
23s main
main
23s
feat(verify): cross-compat integration suite (C5) Code Quality #184: Pull request #23 synchronize by hyperpolymath
22s feat/typed-wasm-verify-c5-cross-compat
feat/typed-wasm-verify-c5-cross-compat
22s
feat(verify): cross-compat integration suite (C5) Code Quality #183: Commit 554364c pushed by hyperpolymath
19s feat/typed-wasm-verify-c5-cross-compat
feat/typed-wasm-verify-c5-cross-compat
19s
feat(verify): cross-module boundary verifier (C4) (#22) Code Quality #182: Commit 3e9d4bc pushed by hyperpolymath
22s main
main
22s
feat(verify): cross-compat integration suite (C5) Code Quality #181: Pull request #23 opened by hyperpolymath
19s feat/typed-wasm-verify-c5-cross-compat
feat/typed-wasm-verify-c5-cross-compat
19s
feat(verify): cross-compat integration suite (C5) Code Quality #180: Commit bafec75 pushed by hyperpolymath
16s feat/typed-wasm-verify-c5-cross-compat
feat/typed-wasm-verify-c5-cross-compat
16s
feat(verify): cross-module boundary verifier (C4) Code Quality #179: Pull request #22 opened by hyperpolymath
13s feat/typed-wasm-verify-c4-cross-module
feat/typed-wasm-verify-c4-cross-module
13s
feat(verify): cross-module boundary verifier (C4) Code Quality #178: Commit f0dba5b pushed by hyperpolymath
14s feat/typed-wasm-verify-c4-cross-module
feat/typed-wasm-verify-c4-cross-module
14s
feat(verify): per-path use-range analysis + intra-fn verifier (C3) (#21) Code Quality #177: Commit e11bb98 pushed by hyperpolymath
46s main
main
46s
feat(verify): per-path use-range analysis + intra-fn verifier (C3) Code Quality #176: Pull request #21 synchronize by hyperpolymath
21s feat/typed-wasm-verify-c3-intra-fn
feat/typed-wasm-verify-c3-intra-fn
21s
feat(verify): per-path use-range analysis + intra-fn verifier (C3) Code Quality #175: Commit 103db89 pushed by hyperpolymath
29s feat/typed-wasm-verify-c3-intra-fn
feat/typed-wasm-verify-c3-intra-fn
29s
feat(verify): port affinescript.ownership custom-section codec (C2)… Code Quality #174: Commit ee1abb1 pushed by hyperpolymath
20s main
main
20s
feat(verify): port custom-section codec (C2) Code Quality #173: Pull request #20 synchronize by hyperpolymath
28s feat/typed-wasm-verify-c2-section-parser
feat/typed-wasm-verify-c2-section-parser
28s
feat(verify): port affinescript.ownership custom-section codec (C2) Code Quality #172: Commit b598e58 pushed by hyperpolymath
25s feat/typed-wasm-verify-c2-section-parser
feat/typed-wasm-verify-c2-section-parser
25s
feat(verify): port custom-section codec (C2) Code Quality #171: Pull request #20 reopened by hyperpolymath
1m 11s feat/typed-wasm-verify-c2-section-parser
feat/typed-wasm-verify-c2-section-parser
1m 11s