Skip to content

Actions: PowderworksCode/mirth

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
114 workflow runs
114 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
gate-mutate --guided: coverage-guided fuzzing with mirth's block coverage; findings 56-58 CI #114: Pull request #45 opened by zmaril
54s mirth/covfuzz
mirth/covfuzz
54s
xlink and release-diff triage; finding 59 (VxWorks linker-flavor ICE) CI #113: Pull request #44 opened by zmaril
1m 5s mirth/xlink-triage
mirth/xlink-triage
1m 5s
Repro scripts for findings 19, 20, 32, 33, 42; finding 32 corrected CI #112: Pull request #43 opened by zmaril
1m 11s mirth/repro-scripts
mirth/repro-scripts
1m 11s
In-compiler invariants (check-invariants.patch, rustc-verify13) and invariant-sweep; findings 56-57 CI #111: Pull request #41 opened by zmaril
58s mirth/invariants
mirth/invariants
58s
Merge pull request #40 from PowderworksCode/mirth/cov-static CI #110: Commit 1e93804 pushed by zmaril
1m 0s main
main
1m 0s
Coverage beyond blocks: M1 denominators, diagnostics, metadata tables, codegen (no rebuild) CI #109: Pull request #40 opened by zmaril
56s mirth/cov-static
mirth/cov-static
56s
Merge pull request #39 from PowderworksCode/mirth/coverage-plan CI #108: Commit 2838aa1 pushed by zmaril
53s main
main
53s
docs: coverage beyond blocks, a ranked plan CI #107: Pull request #39 opened by zmaril
59s mirth/coverage-plan
mirth/coverage-plan
59s
big-run.sh: lint-check too CI #106: Commit 988337f pushed by zmaril
53s main
main
53s
mirth-lab gate-mutate: feature-gate mutation; findings 40-45 CI #105: Pull request #38 opened by zmaril
44s mirth/check-gatemut
mirth/check-gatemut
44s
debug-check (check 20): gdb round trip; findings 33-34 (gdb printers) CI #104: Pull request #37 opened by zmaril
49s mirth/check-debugger
mirth/check-debugger
49s
abi-diff --asm: assembly-level triage of every target; findings 40-43 CI #103: Pull request #36 opened by zmaril
1m 6s mirth/abi-asm
mirth/abi-asm
1m 6s
mirth-lab lint-check: lint oracles (check 16); findings 33-36 CI #102: Pull request #35 opened by zmaril
1m 32s mirth/check-lints
mirth/check-lints
1m 32s
mirth-lab rustdoc-diff (check 6): rustdoc consistency; findings 33-39 CI #101: Pull request #34 opened by zmaril
57s mirth/check-rustdoc
mirth/check-rustdoc
57s
scale-check fit fixes; big-run summary reads each check's output CI #100: Pull request #33 opened by zmaril
1m 1s mirth/run-fixes
mirth/run-fixes
1m 1s
Merge pull request #31 from PowderworksCode/mirth/no-python CI #99: Commit 76ab15f pushed by zmaril
1m 2s main
main
1m 2s
mirth-lab: port the last Python (research scripts); none left CI #98: Pull request #31 opened by zmaril
1m 2s mirth/no-python
mirth/no-python
1m 2s
mirth: second batch of checks; all Python ported to mirth-lab (Rust) CI #97: Pull request #30 opened by zmaril
1m 24s mirth/oracles2
mirth/oracles2
1m 24s
Oracles: seven new checks for rustc; findings 19–28 CI #96: Pull request #29 synchronize by zmaril
52s mirth/oracles
mirth/oracles
52s
Oracles: seven new checks for rustc; findings 19–28 CI #95: Pull request #29 synchronize by zmaril
55s mirth/oracles
mirth/oracles
55s
Oracles: seven new checks for rustc; findings 19–28 CI #94: Pull request #29 opened by zmaril
1m 7s mirth/oracles
mirth/oracles
1m 7s
docs/checks.md: the last 1,000 rustc bugs and the checks that would have caught them CI #93: Pull request #28 opened by zmaril
55s mirth/checks
mirth/checks
55s
Block coverage: every basic block of rustc instrumented and reported CI #92: Pull request #27 opened by zmaril
1m 7s mirth/blocks
mirth/blocks
1m 7s
Merge pull request #24 from PowderworksCode/mirth/coverage-100 CI #91: Commit 67bbd06 pushed by zmaril
1m 2s main
main
1m 2s
Sync mirth/coverage into main: call graph, suite coverage, trait demands CI #90: Pull request #25 opened by zmaril
56s mirth/coverage
mirth/coverage
56s