Skip to content

Actions: pulseengine/synth

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
fix(#946): selector wildcard classification — the wasm_stack_effect wildcard was a LIVE executed miscompile (RQ-58-WILDCARD) CI #1819: Pull request #1003 opened by avrabe
In progress fix/selector-wildcard-arms-946
fix/selector-wildcard-arms-946
In progress
fix(#946): selector wildcard classification — the wasm_stack_effect wildcard was a LIVE executed miscompile (RQ-58-WILDCARD) Dependabot Auto-Merge #247: Pull request #1003 opened by avrabe
1s
1s
fix(#946): selector wildcard classification — the wasm_stack_effect wildcard was a LIVE executed miscompile (RQ-58-WILDCARD) Fuzz Smoke #1280: Pull request #1003 opened by avrabe
4m 37s fix/selector-wildcard-arms-946
fix/selector-wildcard-arms-946
4m 37s
plan(v0.58): add RQ-58-SHIPVERIFY (#1000) — we ship a verifier nobody… CI #1818: Commit 93593ed pushed by avrabe
In progress main
main
In progress
RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved … Fuzz Smoke #1279: Commit 37457ac pushed by avrabe
7m 12s main
main
7m 12s
RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved … CI #1817: Commit 37457ac pushed by avrabe
In progress main
main
In progress
feat(#1000): ship 'synth verify' in released artifacts + non-vacuity … Signing E2E #364: Commit 4f1d455 pushed by avrabe
4m 1s main
main
4m 1s
feat(#1000): ship 'synth verify' in released artifacts + non-vacuity … CI #1816: Commit 4f1d455 pushed by avrabe
16m 27s main
main
16m 27s
feat(#1000): ship 'synth verify' in released artifacts + non-vacuity … Fuzz Smoke #1278: Commit 4f1d455 pushed by avrabe
6m 36s main
main
6m 36s
feat(#1000): ship 'synth verify' in released artifacts + non-vacuity smoke gate (RQ-58-SHIPVERIFY) CI #1815: Pull request #1002 opened by avrabe
38m 35s feat/ship-verify-feature-1000
feat/ship-verify-feature-1000
38m 35s
feat(#1000): ship 'synth verify' in released artifacts + non-vacuity smoke gate (RQ-58-SHIPVERIFY) Dependabot Auto-Merge #246: Pull request #1002 opened by avrabe
1s
1s
feat(#1000): ship 'synth verify' in released artifacts + non-vacuity smoke gate (RQ-58-SHIPVERIFY) Signing E2E #363: Pull request #1002 opened by avrabe
4m 55s feat/ship-verify-feature-1000
feat/ship-verify-feature-1000
4m 55s
feat(#1000): ship 'synth verify' in released artifacts + non-vacuity smoke gate (RQ-58-SHIPVERIFY) Fuzz Smoke #1277: Pull request #1002 opened by avrabe
Queued feat/ship-verify-feature-1000
feat/ship-verify-feature-1000
Queued
plan(v0.58): add RQ-58-SHIPVERIFY (#1000) — we ship a verifier nobody can run Dependabot Auto-Merge #245: Pull request #1001 opened by avrabe
1s
1s
plan(v0.58): add RQ-58-SHIPVERIFY (#1000) — we ship a verifier nobody can run CI #1814: Pull request #1001 opened by avrabe
16m 43s plan/v058-shipverify
plan/v058-shipverify
16m 43s
RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved DSL rules replaced (-1,312 lines, byte-identical) CI #1813: Pull request #999 opened by avrabe
16m 27s feat/retire-dsl-covered-arms-242
feat/retire-dsl-covered-arms-242
16m 27s
RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved DSL rules replaced (-1,312 lines, byte-identical) Fuzz Smoke #1276: Pull request #999 opened by avrabe
9m 22s feat/retire-dsl-covered-arms-242
feat/retire-dsl-covered-arms-242
9m 22s
RQ-58-RETIRE (#242): delete the hand-written arms the 50 Rocq-proved DSL rules replaced (-1,312 lines, byte-identical) Dependabot Auto-Merge #244: Pull request #999 opened by avrabe
8s
8s
chore(deps): bump ordeal from 0.16.1 to 0.18.0 (#997) CI #1812: Commit 03b5c74 pushed by avrabe
1h 9m 18s main
main
1h 9m 18s
chore(deps): bump ordeal from 0.16.1 to 0.18.0 (#997) Fuzz Smoke #1275: Commit 03b5c74 pushed by avrabe
3m 52s main
main
3m 52s
chore(deps): bump ordeal from 0.16.1 to 0.18.0 CI #1811: Pull request #997 synchronize by avrabe
20m 41s dependabot/cargo/ordeal-0.18.0
dependabot/cargo/ordeal-0.18.0
20m 41s
chore(deps): bump ordeal from 0.16.1 to 0.18.0 Fuzz Smoke #1274: Pull request #997 synchronize by avrabe
3m 14s dependabot/cargo/ordeal-0.18.0
dependabot/cargo/ordeal-0.18.0
3m 14s
chore(deps): bump ordeal from 0.16.1 to 0.18.0 Dependabot Auto-Merge #243: Pull request #997 synchronize by avrabe
1s
1s
chore(deps): bump wasmparser from 0.255.0 to 0.256.0 Dependabot Auto-Merge #242: Pull request #998 synchronize by dependabot Bot
49s
49s
chore(deps): bump wasmparser from 0.255.0 to 0.256.0 Fuzz Smoke #1273: Pull request #998 synchronize by dependabot Bot
3m 26s dependabot/cargo/wasmparser-0.256.0
dependabot/cargo/wasmparser-0.256.0
3m 26s