Skip to content

Actions: pulseengine/loom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
717 workflow runs
717 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Fuzzing Fuzzing #131: Scheduled
8m 21s main
main
8m 21s
release: v1.1.0 — ægraph production substrate + first mechanized roundtrip proof CI #286: Pull request #138 opened by avrabe
6h 34m 14s release/v1.1.0
release/v1.1.0
6h 34m 14s
release: v1.1.0 — ægraph production substrate + first mechanized roundtrip proof Validate Shared Architecture #266: Pull request #138 opened by avrabe
6h 15m 9s release/v1.1.0
release/v1.1.0
6h 15m 9s
release: v1.1.0 — ægraph production substrate + first mechanized roundtrip proof Verification Gate #21: Pull request #138 opened by avrabe
5m 12s release/v1.1.0
release/v1.1.0
5m 12s
Fuzzing Fuzzing #130: Scheduled
2h 18m 23s main
main
2h 18m 23s
feat(opt): ægraph i64 ops + 8 new identity rules + commutativity helpers (v1.1.0 Track C) Verification Gate #20: Pull request #137 opened by avrabe
6m 20s release/v1.1.0-pr-egraph-widen-rebased
release/v1.1.0-pr-egraph-widen-rebased
6m 20s
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 helpers (v1.1.0 Track C) CI #285: Pull request #137 opened by avrabe
14h 42m 40s release/v1.1.0-pr-egraph-widen-rebased
release/v1.1.0-pr-egraph-widen-rebased
14h 42m 40s
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
feat(opt): ægraph i64 ops + 8 new identity rules + commutativity help… CI #284: Commit 6ae62ed pushed by avrabe
18h 35m 28s main
main
18h 35m 28s
docs(corpus): placeholder + harness wiring for meld-fused fixture (v1… CI #283: Commit d19e678 pushed by avrabe
33m 50s main
main
33m 50s
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) CI #282: Pull request #136 opened by avrabe
12h 45m 30s release/v1.1.0-pr-meld-fixture
release/v1.1.0-pr-meld-fixture
12h 45m 30s
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
docs(corpus): meld-fused fixture prerequisites (v1.1.0 Track E, deferred) Verification Gate #19: Pull request #136 opened by avrabe
9m 21s release/v1.1.0-pr-meld-fixture
release/v1.1.0-pr-meld-fixture
9m 21s
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 T… CI #281: 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) Verification Gate #18: Pull request #135 opened by avrabe
8m 41s release/v1.1.0-pr-48-roundtrip
release/v1.1.0-pr-48-roundtrip
8m 41s
feat(proofs): close #48 — parser/encoder roundtrip identity (v1.1.0 Track A, Path A) CI #280: Pull request #135 opened by avrabe
13h 12m 33s release/v1.1.0-pr-48-roundtrip
release/v1.1.0-pr-48-roundtrip
13h 12m 33s
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) CI #279: Commit 57745af pushed by avrabe
8m 57s main
main
8m 57s
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) Verification Gate #17: Pull request #134 opened by avrabe
22m 11s release/v1.1.0-track-bd
release/v1.1.0-track-bd
22m 11s
feat(opt): cost-driven ægraph extraction (v1.1.0 Track B) CI #278: Pull request #134 opened by avrabe
12h 59m 33s release/v1.1.0-track-bd
release/v1.1.0-track-bd
12h 59m 33s
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