Skip to content

Actions: ctoth/argumentation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 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
Merge branch 'b2-aspic-completeness' test #77: Commit 978b10e pushed by ctoth
 6m 44s main
main
 6m 44s
Land CaDiCaL 2.2.1 flat-stable routing: abcgen c35 timeout->solved test #76: Commit 099db66 pushed by ctoth
 20s main
main
 20s
test(aba): record Probe 8 Gate B cap kill test #75: Commit f4b8eac pushed by ctoth
 17s main
main
 17s
Record negative ABA base formula screen test #74: Commit 5f75a7c pushed by ctoth
 4m 38s main
main
 4m 38s
Clarify remediation audit provenance test #73: Commit 4788e28 pushed by ctoth
 4m 45s main
main
 4m 45s
Record frontier --jobs speedup: 50 min serial to 5.1 min at jobs=8 test #72: Commit b70a1d6 pushed by ctoth
 5m 35s main
main
 5m 35s
Add solver system papers and SCC-recursiveness schema notes test #71: Commit a460bf9 pushed by ctoth
 4m 45s main
main
 4m 45s
Add coder report for SCC-cone acceptance experiment test #70: Commit e3c4c02 pushed by ctoth
 5m 2s main
main
 5m 2s
Record arc-acyclic stable experiment results test #69: Commit b90ebe0 pushed by ctoth
 5m 27s main
main
 5m 27s
Record ci-green experiment and coder report test #68: Commit 2d11b94 pushed by ctoth
 5m 44s main
main
 5m 44s
Record ABA simplify-stable blow-up experiment results test #67: Commit 5dd6a03 pushed by ctoth
 4m 43s main
main
 4m 43s
Record ABA SE-ST routing experiment results test #66: Commit cc50c4a pushed by ctoth
 4m 32s main
main
 4m 32s
Record frontier-v1 baseline on main@57da538 test #65: Commit aa8a019 pushed by ctoth
 4m 53s main
main
 4m 53s
Report AF SST/STG fragment shortcut coder results test #64: Commit 3ff70f3 pushed by ctoth
 4m 41s main
main
 4m 41s
Report AF Z3 check-budget coder results test #63: Commit 57da538 pushed by ctoth
 4m 34s main
main
 4m 34s
Add record commit hash to af-dspr-cdas coder report test #62: Commit 93d2897 pushed by ctoth
 4m 29s main
main
 4m 29s
Add architecture doc(s) relocated from propstore test #61: Commit db73c8b pushed by ctoth
 4m 35s main
main
 4m 35s
Record ICCMA ABA DC-CO profile stocktake test #60: Commit 7bc7fb7 pushed by ctoth
 4m 36s main
main
 4m 36s
Merge docs/post-dedup-refresh: refresh README/docs for post-dedup mod… test #59: Commit 5fc78e3 pushed by ctoth
 4m 57s main
main
 4m 57s
Merge refactor/dedup: dedup cleanup and module splits test #58: Commit e042b5d pushed by ctoth
 4m 43s main
main
 4m 43s
Record documentation refresh test #57: Commit 8ed6eb1 pushed by ctoth
 4m 48s main
main
 4m 48s
refactor: prepare ABA residual requirements test #56: Commit 764a308 pushed by ctoth
 5m 11s main
main
 5m 11s
Graph Update: uv in /. #1382087227 Dependency Graph #7: by dependabotBot
 42s main
main
 42s
Merge pull request #1 from ctoth/reorg/0.3.0-layered-subpackages test #55: Commit d7bb234 pushed by ctoth
 4m 38s main
main
 4m 38s
refactor!: layer the argumentation package into subpackages (0.3.0) test #54: Pull request #1 synchronize by ctoth
 4m 1s reorg/0.3.0-layered-subpackages
reorg/0.3.0-layered-subpackages
 4m 1s