Skip to content

Actions: pulseengine/loom

Actions

Validate Shared Architecture

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate-shared.yml
268 workflow runs
268 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
release: v1.1.0 — ægraph production substrate + first mechanized roun… Validate Shared Architecture #268: Commit 0bb5a3b pushed by avrabe
In progress main
main
In progress
ci: fix Rocq Formal Proofs — bump rules_rocq_rust to hermetic toolchain Validate Shared Architecture #267: Pull request #139 opened by avrabe
6h 13m 29s chore/bump-rules-rocq-rust-hermetic-toolchain
chore/bump-rules-rocq-rust-hermetic-toolchain
6h 13m 29s
release: v1.1.0 — ægraph production substrate + first mechanized roundtrip proof Validate Shared Architecture #266: Pull request #138 opened by avrabe
6h 0m 28s release/v1.1.0
release/v1.1.0
6h 0m 28s
feat(opt): ægraph i64 ops + 8 new identity rules + commutativity helpers (v1.1.0 Track C) Validate Shared Architecture #265: Pull request #137 opened by avrabe
12h 14m 50s release/v1.1.0-pr-egraph-widen-rebased
release/v1.1.0-pr-egraph-widen-rebased
12h 14m 50s
feat(opt): ægraph i64 ops + 8 new identity rules + commutativity help… Validate Shared Architecture #264: Commit 6ae62ed pushed by avrabe
18h 27m 22s main
main
18h 27m 22s
docs(corpus): placeholder + harness wiring for meld-fused fixture (v1… Validate Shared Architecture #263: Commit d19e678 pushed by avrabe
6h 55m 1s main
main
6h 55m 1s
docs(corpus): meld-fused fixture prerequisites (v1.1.0 Track E, deferred) Validate Shared Architecture #262: Pull request #136 opened by avrabe
6h 40m 44s release/v1.1.0-pr-meld-fixture
release/v1.1.0-pr-meld-fixture
6h 40m 44s
feat(proofs): close #48 — parser/encoder roundtrip identity (v1.1.0 T… Validate Shared Architecture #261: Commit db60d24 pushed by avrabe
3m 36s main
main
3m 36s
feat(proofs): close #48 — parser/encoder roundtrip identity (v1.1.0 Track A, Path A) Validate Shared Architecture #260: Pull request #135 opened by avrabe
12h 52m 24s release/v1.1.0-pr-48-roundtrip
release/v1.1.0-pr-48-roundtrip
12h 52m 24s
feat(opt): cost-driven ægraph extraction (v1.1.0 Track B) (#134) Validate Shared Architecture #259: Commit 57745af pushed by avrabe
8m 57s main
main
8m 57s
feat(opt): cost-driven ægraph extraction (v1.1.0 Track B) Validate Shared Architecture #258: Pull request #134 opened by avrabe
10h 1m 14s release/v1.1.0-track-bd
release/v1.1.0-track-bd
10h 1m 14s
release: v1.0.5 — 4 tracks, all shipped (ægraph consumer + #70 chain … Validate Shared Architecture #257: Commit 07590b7 pushed by avrabe
12h 55m 43s main
main
12h 55m 43s
release: v1.0.5 Validate Shared Architecture #256: Pull request #133 opened by avrabe
12h 50m 59s release/v1.0.5
release/v1.0.5
12h 50m 59s
feat(opt): #68 Tier-1.1 scalar adapter inlining + Tier-2.2 body dedup… Validate Shared Architecture #255: Commit 27c0a01 pushed by avrabe
19m 16s main
main
19m 16s
feat(opt): #68 Tier-1.1 scalar adapter inlining + Tier-2.2 body dedup (v1.0.5 Track 3) Validate Shared Architecture #254: Pull request #132 opened by avrabe
6h 10m 13s release/v1.0.5-pr-68-fused
release/v1.0.5-pr-68-fused
6h 10m 13s
feat(opt): #70 six-pass chain composition + task.return shim peephole… Validate Shared Architecture #253: Commit bd1a0c8 pushed by avrabe
51s main
main
51s
feat(opt): #70 six-pass chain composition + task.return shim peephole (v1.0.5 Track 2) Validate Shared Architecture #252: Pull request #131 opened by avrabe
6h 11m 2s release/v1.0.5-pr-70-chain
release/v1.0.5-pr-70-chain
6h 11m 2s
feat(opt): ægraph pipeline integration (v1.0.5 Track 1) + #48 prep su… Validate Shared Architecture #251: Commit fce5219 pushed by avrabe
6h 2m 58s main
main
6h 2m 58s
feat(opt): ægraph pipeline integration (v1.0.5 Track 1) + #48 prep survey (Track 4) Validate Shared Architecture #250: Pull request #130 opened by avrabe
6h 17m 55s release/v1.0.5-track4-rocq-prep
release/v1.0.5-track4-rocq-prep
6h 17m 55s
release: v1.0.4 — 4 parallel tracks, all shipped (#129) Validate Shared Architecture #249: Commit 7fd1179 pushed by avrabe
6h 9m 34s main
main
6h 9m 34s
release: v1.0.4 Validate Shared Architecture #248: Pull request #129 opened by avrabe
6h 6m 44s release/v1.0.4
release/v1.0.4
6h 6m 44s
feat(opt): island-model parallel optimization (v1.0.4 Track D) (#128) Validate Shared Architecture #247: Commit d8317ec pushed by avrabe
18h 43m 10s main
main
18h 43m 10s
feat(opt): island-model parallel optimization (v1.0.4 #71, Track D) Validate Shared Architecture #246: Pull request #128 opened by avrabe
16h 16m 28s release/v1.0.4-pr-islands
release/v1.0.4-pr-islands
16h 16m 28s
feat(opt): ægraph rewrite engine + 3 identity rules (v1.0.4 Track C) … Validate Shared Architecture #245: Commit 90c7a3f pushed by avrabe
3h 28m 20s main
main
3h 28m 20s
feat(opt): ægraph rewrite engine + 3 identity rules (v1.0.4 Track C) Validate Shared Architecture #244: Pull request #127 opened by avrabe
17h 9m 5s release/v1.0.4-pr-egraph-rewrite
release/v1.0.4-pr-egraph-rewrite
17h 9m 5s