Workflow runs · devirt-dev/devirt-core · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

77 workflow runs

77 workflow runs

ci(release): make Windows crates.io fetches reliable (disable HTTP/2 … CI #68: Commit 730a158 pushed by vasie1337

4m 6s main

4m 6s

Release binaries Release binaries #3: Manually run by vasie1337

9m 44s main

9m 44s

docs: clean up root README — user-facing first, fix post-workspace pa… CI #67: Commit b18e1c8 pushed by vasie1337

1m 48s main

1m 48s

Release binaries Release binaries #2: Manually run by vasie1337

30s main

30s

Release binaries Release binaries #1: Manually run by vasie1337

8m 4s main

8m 4s

ci(release): cross-compile and publish prebuilt deob binaries CI #66: Commit c11ef0b pushed by vasie1337

3m 35s main

3m 35s

chore(release): restructure into a Cargo workspace and prepare for op… Score corpus #5: Commit 3881f8c pushed by vasie1337

14m 28s v0.3.0

14m 28s

chore(release): restructure into a Cargo workspace and prepare for op… CI #65: Commit 3881f8c pushed by vasie1337

4m 18s main

4m 18s

fix(rename): separate doc paragraph to satisfy clippy doc_lazy_contin… CI #64: Commit 09b8308 pushed by vasie1337

3m 57s main

3m 57s

fix(ci): satisfy clippy doc_lazy_continuation in rename.rs CI #63: Pull request #64 opened by vasie1337

4m 2s claude/repo-status-update-jtxcaz

claude/repo-status-update-jtxcaz

4m 2s

fix(report): restore report.rs lost from the parallelization commit CI #62: Commit d9b84a1 pushed by vasie1337

52s main

52s

perf(report): parallelize corpus scoring with rayon CI #61: Commit 77e44ed pushed by vasie1337

49s main

49s

Equivalence Equivalence #1: Manually run by vasie1337

17m 51s main

17m 51s

fix(decoder-lift): collapse match arm into a guard (clippy -D warnings) Score corpus #4: Commit 41186ce pushed by vasie1337

13m 1s v0.2.4

13m 1s

fix(decoder-lift): collapse match arm into a guard (clippy -D warnings) CI #60: Commit 41186ce pushed by vasie1337

3m 25s main

3m 25s

release: v0.2.4 CI #59: Commit 13a0464 pushed by vasie1337

3m 48s main

3m 48s

feat(report): differential behavioral-equivalence harness (report --e… CI #58: Commit 49eded8 pushed by vasie1337

3m 14s main

3m 14s

feat(rename): rename module-private top-level opaque bindings CI #57: Commit 4bfe490 pushed by vasie1337

3m 20s main

3m 20s

release: v0.2.3 CI #56: Commit 169a53b pushed by vasie1337

3m 24s main

3m 24s

release: v0.2.3 Score corpus #3: Commit 169a53b pushed by vasie1337

13m 5s v0.2.3

13m 5s

feat(unflatten-cfg): wire the dispatch substrate to recover relative-… CI #55: Commit 08a1918 pushed by vasie1337

3m 21s main

3m 21s

feat(dce): drop dead string-literal statements (non-directive) CI #54: Commit 9b6356e pushed by vasie1337

3m 10s main

3m 10s

perf(driver): skip passes already proven no-ops on the current AST CI #53: Commit d119637 pushed by vasie1337

2m 58s main

2m 58s

perf(decoder-lift): skip preamble + dual-sandbox build when nothing i… CI #52: Commit f09d6fe pushed by vasie1337

3m 12s main

3m 12s

perf(math-fingerprint): batch operator probes into one in-VM eval per… CI #51: Commit 3f185aa pushed by vasie1337

3m 14s main

3m 14s