Skip to content

Actions: ctoth/argumentation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
Graph Update: uv in /. #1382087227 Dependency Graph #7: by dependabot Bot
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
Fix lazy package import test test #53: Commit c202d84 pushed by ctoth
4m 31s reorg/0.3.0-layered-subpackages
reorg/0.3.0-layered-subpackages
4m 31s
refactor!: layer the argumentation package into subpackages (0.3.0) test #52: Pull request #1 opened by ctoth
5m 46s reorg/0.3.0-layered-subpackages
reorg/0.3.0-layered-subpackages
5m 46s
fix: update stale argumentation.aba_asp path in encodings comment test #51: Commit 59f3f91 pushed by ctoth
4m 43s reorg/0.3.0-layered-subpackages
reorg/0.3.0-layered-subpackages
4m 43s
Fix SAT model optional typing test #50: Commit 06e6e24 pushed by ctoth
5m 51s main
main
5m 51s
Fix decomposed PrefSAT paper fixtures in CI test #49: Commit c4e216e pushed by ctoth
4m 32s main
main
4m 32s
Record CI failure iteration result test #48: Commit 0d03777 pushed by ctoth
4m 39s main
main
4m 39s
Record SE-ST defeated-out propagation result test #47: Commit 0bc915e pushed by ctoth
18s main
main
18s
Record SE-ST lookahead isolation result test #46: Commit a87f6ce pushed by ctoth
20s main
main
20s
Record SE-ST Unit mechanism profile result test #45: Commit 3a287f7 pushed by ctoth
17s main
main
17s
Record SE-ST Unit heuristic diagnosis test #44: Commit 95afd16 pushed by ctoth
15s main
main
15s
Record post-diagnostic py-spy result test #43: Commit 14a81a1 pushed by ctoth
18s main
main
18s
Add property-based tests for the sensitivity module test #42: Commit 38d2e24 pushed by ctoth
15s main
main
15s
Add sensitivity module (argument-framework importance analysis) test #41: Commit d774b4c pushed by ctoth
15s main
main
15s
Record ABA solver experiments test #40: Commit fdf32c1 pushed by ctoth
19s main
main
19s
Graph Update: uv in /. #1376042418 Dependency Graph #6: by dependabot Bot
33s main
main
33s
Record completed ABA telemetry workstream test #39: Commit 28a55ec pushed by ctoth
18s main
main
18s
Extract dialectical chess sidecar test #38: Commit d47c870 pushed by ctoth
4m 46s experiment/aba-greedy-preferred-growth
experiment/aba-greedy-preferred-growth
4m 46s
Add hard-bucket no-profile mode test #37: Commit 67a3120 pushed by ctoth
20s experiment/aba-greedy-preferred-growth
experiment/aba-greedy-preferred-growth
20s
Merge ICCMA profiling speedups test #36: Commit a5ba080 pushed by ctoth
4m 14s main
main
4m 14s
Expose stable unsat explanations test #35: Commit 9a9f4c5 pushed by ctoth
5m 55s perf/iccma-python-profile-20260515
perf/iccma-python-profile-20260515
5m 55s
Use lean ABA facts for multishot clingo test #34: Commit 37148ed pushed by ctoth
4m 16s perf/iccma-python-profile-20260515
perf/iccma-python-profile-20260515
4m 16s
Add ICCMA post-router workstream runner test #33: Commit 8e7247f pushed by ctoth
4m 10s perf/iccma-python-profile-20260515
perf/iccma-python-profile-20260515
4m 10s