Skip to content

Actions: pulseengine/loom

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
193 workflow runs
193 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 CI #193: Pull request #97 opened by avrabe
11h 45m 38s smithy-migration
smithy-migration
11h 45m 38s
release/v0.6.0 PR-C: eliminate_dead_stores — full backward liveness (-0.4% on calculator.wasm) CI #192: Pull request #96 reopened by avrabe
13h 11m 44s release/v0.6.0-pr-c-dead-stores
release/v0.6.0-pr-c-dead-stores
13h 11m 44s
release/v0.6.0 PR-B: eliminate_dead_locals (-0.86% on gale) CI #191: Pull request #95 reopened by avrabe
14h 30m 1s release/v0.6.0-pr-b-dead-locals
release/v0.6.0-pr-b-dead-locals
14h 30m 1s
release/v0.6.0 PR-A: CSE cost-aware dedup gate (eliminates gale +6.3% regression) CI #190: Pull request #94 opened by avrabe
10h 18m 24s release/v0.6.0-pr-a-cse-cost-threshold
release/v0.6.0-pr-a-cse-cost-threshold
10h 18m 24s
release: v0.5.0 (#93) CI #189: Commit 1e96c68 pushed by avrabe
1d 4h 1m 25s main
main
1d 4h 1m 25s
release: v0.5.0 CI #188: Pull request #93 opened by avrabe
23h 7m 50s release/v0.5.0-pr-e-tag
release/v0.5.0-pr-e-tag
23h 7m 50s
chore(proofs): wire FusedOptimization.v into BUILD.bazel (#91) CI #187: Commit bab1784 pushed by avrabe
1h 0m 6s main
main
1h 0m 6s
release/v0.5.0 PR-D: wire FusedOptimization.v into BUILD.bazel CI #186: Pull request #91 synchronize by avrabe
22h 43m 37s release/v0.5.0-pr-d-fused-proof-bazel
release/v0.5.0-pr-d-fused-proof-bazel
22h 43m 37s
test: spec-feature corpus fixtures for post-MVP wasm (#90) CI #185: 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) CI #184: Pull request #90 synchronize by avrabe
18h 34m 49s release/v0.5.0-pr-c-spec-features
release/v0.5.0-pr-c-spec-features
18h 34m 49s
fix(soundness): close hoist hole on early-exit (Return/Br) patterns (… CI #183: 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 CI #182: Pull request #89 synchronize by avrabe
23h 26m 4s release/v0.5.0-pr-b-hoist-guard-return-br
release/v0.5.0-pr-b-hoist-guard-return-br
23h 26m 4s
feat(verify): add strict-mode helpers + document v0.4.0 gale measurem… CI #181: 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 CI #180: Pull request #88 synchronize by avrabe
19h 10m 41s release/v0.5.0-pr-a-verification-outcome
release/v0.5.0-pr-a-verification-outcome
19h 10m 41s
chore(ci): add concurrency control to all workflows (#92) CI #179: Commit 5f1d54d pushed by avrabe
22h 29m 59s main
main
22h 29m 59s
chore(ci): add concurrency control to all workflows CI #178: Pull request #92 opened by avrabe
1d 0h 1m 59s chore/ci-concurrency-control
chore/ci-concurrency-control
1d 0h 1m 59s
release/v0.5.0 PR-D: wire FusedOptimization.v into BUILD.bazel CI #177: Pull request #91 opened by avrabe
1d 3h 6m 11s release/v0.5.0-pr-d-fused-proof-bazel
release/v0.5.0-pr-d-fused-proof-bazel
1d 3h 6m 11s
release/v0.5.0 PR-C: spec-feature corpus fixtures (8 post-MVP features) CI #176: Pull request #90 opened by avrabe
1d 2h 8m 42s release/v0.5.0-pr-c-spec-features
release/v0.5.0-pr-c-spec-features
1d 2h 8m 42s
release/v0.5.0 PR-B: close hoist hole on early-exit (Return/Br) patterns CI #175: Pull request #89 opened by avrabe
1d 3h 9m 49s release/v0.5.0-pr-b-hoist-guard-return-br
release/v0.5.0-pr-b-hoist-guard-return-br
1d 3h 9m 49s
release/v0.5.0 PR-A: VerificationResult strict-mode helpers + gale v0.4.0 measurement CI #174: Pull request #88 opened by avrabe
1d 0h 39m 1s release/v0.5.0-pr-a-verification-outcome
release/v0.5.0-pr-a-verification-outcome
1d 0h 39m 1s
release: v0.4.0 (#87) CI #173: Commit b632d3b pushed by avrabe
1d 3h 32m 42s main
main
1d 3h 32m 42s
release: v0.4.0 CI #172: Pull request #87 opened by avrabe
1d 1h 42m 38s release/v0.4.0-pr-f-tag
release/v0.4.0-pr-f-tag
1d 1h 42m 38s
release/v0.4.0 PR-E: remove vestigial ISLE files; document path-sensi… CI #171: Commit 6757590 pushed by avrabe
1d 4h 14m 14s main
main
1d 4h 14m 14s
release/v0.4.0 PR-E: remove vestigial ISLE files; document path-sensitivity scaffolding CI #170: Pull request #86 synchronize by avrabe
1d 0h 28m 44s release/v0.4.0-pr-e-dead-code-purge
release/v0.4.0-pr-e-dead-code-purge
1d 0h 28m 44s
feat(stats): per-pass revert counter for verification observability (… CI #169: Commit dac7975 pushed by avrabe
1d 3h 40m 43s main
main
1d 3h 40m 43s