Skip to content

Actions: pulseengine/loom

Actions

Validate Shared Architecture

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate-shared.yml
285 workflow runs
285 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
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #285: Pull request #141 synchronize by avrabe
6h 3m 46s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 3m 46s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #284: Pull request #141 synchronize by avrabe
6h 27m 16s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 27m 16s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #283: Pull request #141 synchronize by avrabe
6h 3m 3s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 3m 3s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #282: Pull request #141 synchronize by avrabe
6h 6m 54s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 6m 54s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #281: Pull request #141 synchronize by avrabe
6h 5m 26s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 5m 26s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #280: Pull request #141 synchronize by avrabe
6h 16m 37s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 16m 37s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #279: Pull request #141 synchronize by avrabe
6h 6m 55s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 6m 55s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #278: Pull request #141 synchronize by avrabe
6h 13m 0s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 13m 0s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #277: Pull request #141 synchronize by avrabe
6h 3m 19s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 3m 19s
ci(release): standardize on synth pattern — sums + cosign + SLSA + SBOM Validate Shared Architecture #276: Pull request #143 opened by avrabe
7h 50m 34s chore/standardize-release-yml
chore/standardize-release-yml
7h 50m 34s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #275: Pull request #141 synchronize by avrabe
6h 2m 44s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 2m 44s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #274: Pull request #141 synchronize by avrabe
6h 8m 51s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 8m 51s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #273: Pull request #141 synchronize by avrabe
6h 3m 21s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 3m 21s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #272: Pull request #141 synchronize by avrabe
6h 2m 58s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 2m 58s
chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) Validate Shared Architecture #271: Pull request #141 opened by avrabe
6h 47m 7s chore/bump-rules-rocq-rust
chore/bump-rules-rocq-rust
6h 47m 7s
release: v1.1.1 — Track-3 housekeeping + ægraph commutativity fix (#140) Validate Shared Architecture #270: Commit 7311c8a pushed by avrabe
6h 1m 44s main
main
6h 1m 44s
release: v1.1.1 — Track-3 housekeeping + ægraph commutativity fix Validate Shared Architecture #269: Pull request #140 opened by avrabe
6h 2m 53s release/v1.1.1
release/v1.1.1
6h 2m 53s
release: v1.1.0 — ægraph production substrate + first mechanized roun… Validate Shared Architecture #268: Commit 0bb5a3b pushed by avrabe
6h 9m 8s main
main
6h 9m 8s
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