Skip to content

Actions: pulseengine/synth

Actions

Fuzz Smoke

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
fuzz-smoke.yml
1,561 workflow runs
1,561 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
release(v0.66.0): "Watched, fixed, or deleted" — 8 artifacts, 7 imple… Fuzz Smoke #1561: Commit a298d95 pushed by avrabe
4m 39s main
main
4m 39s
release(v0.66.0): "Watched, fixed, or deleted" — 8 artifacts, 7 implemented, ARCHMODEL deferred a 6th time Fuzz Smoke #1560: Pull request #1251 opened by avrabe
3m 43s release/v0.66.0
release/v0.66.0
3m 43s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the… Fuzz Smoke #1559: Commit 62d8776 pushed by avrabe
3m 34s main
main
3m 34s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1558: Pull request #1245 synchronize by avrabe
8m 0s feat/watched-1189
feat/watched-1189
8m 0s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1557: Pull request #1245 synchronize by avrabe
3m 51s feat/watched-1189
feat/watched-1189
3m 51s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1556: Pull request #1245 synchronize by avrabe
4m 12s feat/watched-1189
feat/watched-1189
4m 12s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1555: Pull request #1245 synchronize by avrabe
3m 6s feat/watched-1189
feat/watched-1189
3m 6s
fix(selector): RQ-66-BOTHWRONG (#1210) — triage the five both-selecto… Fuzz Smoke #1554: Commit 4a3f608 pushed by avrabe
2m 4s main
main
2m 4s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1553: Pull request #1245 synchronize by avrabe
4m 53s feat/watched-1189
feat/watched-1189
4m 53s
fix(selector): RQ-66-BOTHWRONG (#1210) — triage the five both-selectors-wrong classes to four root causes Fuzz Smoke #1552: Pull request #1249 synchronize by avrabe
3m 12s fix/bothwrong-1210
fix/bothwrong-1210
3m 12s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1551: Pull request #1245 synchronize by avrabe
3m 13s feat/watched-1189
feat/watched-1189
3m 13s
fix(selector): RQ-66-BOTHWRONG (#1210) — triage the five both-selectors-wrong classes to four root causes Fuzz Smoke #1550: Pull request #1249 synchronize by avrabe
3m 4s fix/bothwrong-1210
fix/bothwrong-1210
3m 4s
fix(selector): RQ-66-BOTHWRONG (#1210) — triage the five both-selectors-wrong classes to four root causes Fuzz Smoke #1549: Pull request #1249 synchronize by avrabe
3m 17s fix/bothwrong-1210
fix/bothwrong-1210
3m 17s
fix(selector): RQ-66-BOTHWRONG (#1210) — triage the five both-selectors-wrong classes to four root causes Fuzz Smoke #1548: Pull request #1249 synchronize by avrabe
4m 24s fix/bothwrong-1210
fix/bothwrong-1210
4m 24s
fix(selector): RQ-66-BOTHWRONG (#1210) — triage the five both-selectors-wrong classes to four root causes Fuzz Smoke #1547: Pull request #1249 opened by avrabe
3m 12s fix/bothwrong-1210
fix/bothwrong-1210
3m 12s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1546: Pull request #1245 synchronize by avrabe
13m 53s feat/watched-1189
feat/watched-1189
13m 53s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1545: Pull request #1245 synchronize by avrabe
3m 53s feat/watched-1189
feat/watched-1189
3m 53s
test(oracle): RQ-66-WATCHED (#1189) — four oracles proven to kill the survey's UNTESTED mutants, and the silent-subset rule mechanized instead of hand-tallied Fuzz Smoke #1544: Pull request #1245 opened by avrabe
3m 24s feat/watched-1189
feat/watched-1189
3m 24s
chore(deps): bump wit-component from 0.256.0 to 0.258.0 (#1196) Fuzz Smoke #1543: Commit fcb8be4 pushed by avrabe
4m 48s main
main
4m 48s
chore(deps): bump wit-component from 0.256.0 to 0.258.0 Fuzz Smoke #1542: Pull request #1196 synchronize by dependabot Bot
7m 17s dependabot/cargo/wit-component-0.258.0
dependabot/cargo/wit-component-0.258.0
7m 17s
chore(deps): bump wasm-encoder from 0.256.0 to 0.258.0 (#1198) Fuzz Smoke #1541: Commit a73d5ac pushed by avrabe
3m 12s main
main
3m 12s
chore(deps): bump wasm-encoder from 0.256.0 to 0.258.0 Fuzz Smoke #1540: Pull request #1198 synchronize by dependabot Bot
3m 39s dependabot/cargo/wasm-encoder-0.258.0
dependabot/cargo/wasm-encoder-0.258.0
3m 39s
chore(deps): bump wasm-encoder from 0.256.0 to 0.258.0 Fuzz Smoke #1539: Pull request #1198 synchronize by dependabot Bot
4m 2s dependabot/cargo/wasm-encoder-0.258.0
dependabot/cargo/wasm-encoder-0.258.0
4m 2s
release(v0.65.0): "How much of this is correct by accident?" — 8 arti… Fuzz Smoke #1538: Commit 13fe6b6 pushed by avrabe
4m 6s main
main
4m 6s
release(v0.65.0): "How much of this is correct by accident?" — 8 artifacts, 7 implemented Fuzz Smoke #1537: Pull request #1234 opened by avrabe
9m 41s release/v0.65.0
release/v0.65.0
9m 41s