Skip to content

Actions: 2akouwu/reverify

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
63 workflow runs
63 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
fix(bench): use 64-bit long long in the reconstruction C corpus (Wind… CI #63: Commit e907e78 pushed by 2akouwu
20m 53s main
main
20m 53s
feat: reconstruction re-executability benchmark — the metric working … CI #62: Commit ddbc9ba pushed by 2akouwu
22m 49s main
main
22m 49s
benchmarks: add elf_shoff probe (guessed ELF64 section-table offset) … CI #61: Commit d9b92d3 pushed by 2akouwu
2m 53s main
main
2m 53s
fix: 32-bit x86 arg passing + guard arch/bits mismatch in unicorn run… CI #60: Commit 9ba2aa1 pushed by 2akouwu
40s main
main
40s
test: fix duplicate min_interval kwarg in the WaitForReceipt helper CI #59: Commit 55a4ea4 pushed by 2akouwu
3m 5s main
main
3m 5s
test: move receipt-discard checks off the subprocess loop (fix Linux/… CI #58: Commit e100168 pushed by 2akouwu
2m 28s main
main
2m 28s
test: fix a real ordering race in the launcher tests (failed on Linux… CI #57: Commit 7e57050 pushed by 2akouwu
2m 14s main
main
2m 14s
feat: functions_equiv gets a Python runner + reverify equiv CLI; de… CI #56: Commit 19ddec9 pushed by 2akouwu
2m 30s main
main
2m 30s
feat: functions_equiv — verify two implementations agree (verified co… CI #55: Commit 4cfabde pushed by 2akouwu
2m 3s main
main
2m 3s
docs: lead with the value, not the niche — broaden the framing off "C… CI #54: Commit 06387c6 pushed by 2akouwu
2m 2s main
main
2m 2s
feat: native-execution sandbox + re-executability dataset scorecard +… CI #53: Commit 8228f0f pushed by 2akouwu
2m 1s main
main
2m 1s
benchmarks: add elf_shoff prior probe (guessed ELF64 section-table offset) + fix --probe filter CI #52: Pull request #13 opened by IMGillusion
1m 59s IMGillusion:issue4-elf-shoff-probe
IMGillusion:issue4-elf-shoff-probe
1m 59s
fix: 32-bit x86 arg passing + guard arch/bits mismatch in unicorn runner CI #51: Pull request #12 opened by IMGillusion
1m 57s IMGillusion:fix-32bit-arg-passing
IMGillusion:fix-32bit-arg-passing
1m 57s
docs: trim the LINUX DO line to one plain sentence CI #50: Commit 56bd508 pushed by 2akouwu
2m 53s main
main
2m 53s
docs: acknowledge and link the LINUX DO open-source community CI #49: Commit 0fe8b68 pushed by 2akouwu
1m 30s main
main
1m 30s
release: 0.11.0 — lossless rollover across Claude Code, Codex, Gemini… CI #48: Commit fb6e875 pushed by 2akouwu
2m 59s main
main
2m 59s
test(rollover): doctor exit code does not depend on which CLIs the ru… CI #47: Commit b5a9247 pushed by 2akouwu
1m 57s main
main
1m 57s
feat(rollover): doctor, short launcher form, window-capped threshold,… CI #46: Commit 90d04fa pushed by 2akouwu
2m 18s main
main
2m 18s
fix(rollover): install/uninstall tolerate one CLI failing CI #45: Commit e67de2b pushed by 2akouwu
2m 13s main
main
2m 13s
feat: rollover for any agent CLI — Claude Code, Codex, Gemini CLI, Op… CI #44: Commit 570b724 pushed by 2akouwu
3m 17s main
main
3m 17s
test: resolve the temp root in the Claude rollover tests CI #43: Commit 2c9273a pushed by 2akouwu
2m 17s main
main
2m 17s
feat: Claude Code without compaction — hand-off to files, receipt, fr… CI #42: Commit 5895ca2 pushed by 2akouwu
2m 42s main
main
2m 42s
rollover: count cached context in the Claude driver; record a real Cl… CI #41: Commit 369cbc3 pushed by 2akouwu
3m 18s main
main
3m 18s
feat: rollover controller — fresh-context sessions on the model's own… CI #40: Commit 80e1d13 pushed by 2akouwu
1m 57s main
main
1m 57s
feat: exebench claim kind — compile and re-run candidate C against re… CI #39: Commit 89ecb27 pushed by 2akouwu
2m 57s main
main
2m 57s