Skip to content

Actions: pulseengine/loom

Actions

Validate Shared Architecture

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate-shared.yml
173 workflow runs
173 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
ci: migrate workflows to smithy self-hosted runners Validate Shared Architecture #173: Pull request #97 opened by avrabe
6h 12m 28s smithy-migration
smithy-migration
6h 12m 28s
release/v0.6.0 PR-C: eliminate_dead_stores — full backward liveness (-0.4% on calculator.wasm) Validate Shared Architecture #172: Pull request #96 reopened by avrabe
In progress release/v0.6.0-pr-c-dead-stores
release/v0.6.0-pr-c-dead-stores
In progress
release/v0.6.0 PR-B: eliminate_dead_locals (-0.86% on gale) Validate Shared Architecture #171: Pull request #95 reopened by avrabe
In progress release/v0.6.0-pr-b-dead-locals
release/v0.6.0-pr-b-dead-locals
In progress
release/v0.6.0 PR-A: CSE cost-aware dedup gate (eliminates gale +6.3% regression) Validate Shared Architecture #170: Pull request #94 opened by avrabe
13h 9m 11s release/v0.6.0-pr-a-cse-cost-threshold
release/v0.6.0-pr-a-cse-cost-threshold
13h 9m 11s
release: v0.5.0 (#93) Validate Shared Architecture #169: Commit 1e96c68 pushed by avrabe
1d 10h 51m 4s main
main
1d 10h 51m 4s
release: v0.5.0 Validate Shared Architecture #168: Pull request #93 opened by avrabe
1d 3h 37m 54s release/v0.5.0-pr-e-tag
release/v0.5.0-pr-e-tag
1d 3h 37m 54s
chore(proofs): wire FusedOptimization.v into BUILD.bazel (#91) Validate Shared Architecture #167: Commit bab1784 pushed by avrabe
1h 0m 5s main
main
1h 0m 5s
release/v0.5.0 PR-D: wire FusedOptimization.v into BUILD.bazel Validate Shared Architecture #166: Pull request #91 synchronize by avrabe
1d 0h 9m 36s release/v0.5.0-pr-d-fused-proof-bazel
release/v0.5.0-pr-d-fused-proof-bazel
1d 0h 9m 36s
test: spec-feature corpus fixtures for post-MVP wasm (#90) Validate Shared Architecture #165: Commit e21f888 pushed by avrabe
1m 4s main
main
1m 4s
release/v0.5.0 PR-C: spec-feature corpus fixtures (8 post-MVP features) Validate Shared Architecture #164: Pull request #90 synchronize by avrabe
23h 46m 8s release/v0.5.0-pr-c-spec-features
release/v0.5.0-pr-c-spec-features
23h 46m 8s
fix(soundness): close hoist hole on early-exit (Return/Br) patterns (… Validate Shared Architecture #163: Commit de9b345 pushed by avrabe
4m 10s main
main
4m 10s
release/v0.5.0 PR-B: close hoist hole on early-exit (Return/Br) patterns Validate Shared Architecture #162: Pull request #89 synchronize by avrabe
21h 55m 11s release/v0.5.0-pr-b-hoist-guard-return-br
release/v0.5.0-pr-b-hoist-guard-return-br
21h 55m 11s
feat(verify): add strict-mode helpers + document v0.4.0 gale measurem… Validate Shared Architecture #161: Commit e30302c pushed by avrabe
1h 16m 8s main
main
1h 16m 8s
release/v0.5.0 PR-A: VerificationResult strict-mode helpers + gale v0.4.0 measurement Validate Shared Architecture #160: Pull request #88 synchronize by avrabe
23h 44m 25s release/v0.5.0-pr-a-verification-outcome
release/v0.5.0-pr-a-verification-outcome
23h 44m 25s
chore(ci): add concurrency control to all workflows (#92) Validate Shared Architecture #159: Commit 5f1d54d pushed by avrabe
1d 2h 6m 28s main
main
1d 2h 6m 28s
chore(ci): add concurrency control to all workflows Validate Shared Architecture #158: Pull request #92 opened by avrabe
1d 3h 19m 33s chore/ci-concurrency-control
chore/ci-concurrency-control
1d 3h 19m 33s
release/v0.5.0 PR-D: wire FusedOptimization.v into BUILD.bazel Validate Shared Architecture #157: Pull request #91 opened by avrabe
1d 2h 18m 43s release/v0.5.0-pr-d-fused-proof-bazel
release/v0.5.0-pr-d-fused-proof-bazel
1d 2h 18m 43s
release/v0.5.0 PR-C: spec-feature corpus fixtures (8 post-MVP features) Validate Shared Architecture #156: Pull request #90 opened by avrabe
22h 50m 20s release/v0.5.0-pr-c-spec-features
release/v0.5.0-pr-c-spec-features
22h 50m 20s
release/v0.5.0 PR-B: close hoist hole on early-exit (Return/Br) patterns Validate Shared Architecture #155: Pull request #89 opened by avrabe
1d 4h 4m 23s release/v0.5.0-pr-b-hoist-guard-return-br
release/v0.5.0-pr-b-hoist-guard-return-br
1d 4h 4m 23s
release/v0.5.0 PR-A: VerificationResult strict-mode helpers + gale v0.4.0 measurement Validate Shared Architecture #154: Pull request #88 opened by avrabe
1d 1h 1m 59s release/v0.5.0-pr-a-verification-outcome
release/v0.5.0-pr-a-verification-outcome
1d 1h 1m 59s
release: v0.4.0 (#87) Validate Shared Architecture #153: Commit b632d3b pushed by avrabe
1d 5h 51m 29s main
main
1d 5h 51m 29s
release: v0.4.0 Validate Shared Architecture #152: Pull request #87 opened by avrabe
1d 5h 23m 59s release/v0.4.0-pr-f-tag
release/v0.4.0-pr-f-tag
1d 5h 23m 59s
release/v0.4.0 PR-E: remove vestigial ISLE files; document path-sensi… Validate Shared Architecture #151: Commit 6757590 pushed by avrabe
1d 6h 36m 32s main
main
1d 6h 36m 32s
release/v0.4.0 PR-E: remove vestigial ISLE files; document path-sensitivity scaffolding Validate Shared Architecture #150: Pull request #86 synchronize by avrabe
1d 2h 57m 15s release/v0.4.0-pr-e-dead-code-purge
release/v0.4.0-pr-e-dead-code-purge
1d 2h 57m 15s
feat(stats): per-pass revert counter for verification observability (… Validate Shared Architecture #149: Commit dac7975 pushed by avrabe
1d 5h 47m 49s main
main
1d 5h 47m 49s