Skip to content

Actions: ctoth/argumentation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
162 workflow runs
162 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
github_actions in /. - Update #1602814331 Dependabot Updates #2: by dependabot Bot
48s main
main
48s
Graph Update: uv in /. #1597059536 Dependency Graph #9: by dependabot Bot
49s main
main
49s
Merge pull request #105 from ctoth/deps/clingo-5.8.2 test #151: Commit 77cd6fe pushed by ctoth
3m 53s main
main
3m 53s
deps: bump clingo 5.8.0 -> 5.8.2 test #150: Pull request #105 opened by ctoth
4m 12s deps/clingo-5.8.2
deps/clingo-5.8.2
4m 12s
docs: record profiled ICCMA bottlenecks and completed repair gates test #149: Commit 985d456 pushed by ctoth
5m 32s main
main
5m 32s
Merge pull request #104 from ctoth/fix/aspic-rule-sets test #148: Commit db0eaad pushed by ctoth
1m 33s main
main
1m 33s
Read strict-rule antecedents as sets to stop ASPIC+ argument multiplication test #147: Pull request #104 synchronize by ctoth
3m 38s fix/aspic-rule-sets
fix/aspic-rule-sets
3m 38s
Read strict-rule antecedents as sets to stop ASPIC+ argument multiplication test #146: Pull request #104 opened by ctoth
4m 7s fix/aspic-rule-sets
fix/aspic-rule-sets
4m 7s
Merge pull request #103 from ctoth/test/aspic-generator-bounds test #145: Commit 0360927 pushed by ctoth
4m 2s main
main
4m 2s
Bound ASPIC property-test theories and pin the #102 argument budget test #144: Pull request #103 opened by ctoth
4m 8s test/aspic-generator-bounds
test/aspic-generator-bounds
4m 8s
Merge pull request #101 from ctoth/fix/aba-skeptical-underivable test #143: Commit 052775e pushed by ctoth
3m 40s main
main
3m 40s
Reject underivable queries in incremental ABA skeptical preferred test #142: Pull request #101 opened by ctoth
2m 53s fix/aba-skeptical-underivable
fix/aba-skeptical-underivable
2m 53s
Merge pull request #100 from ctoth/fix/assignment-rounding test #141: Commit 35b587a pushed by ctoth
3m 50s main
main
3m 50s
fix(epistemic): return the validated assignment without rounding test #140: Pull request #100 opened by ctoth
3m 51s fix/assignment-rounding
fix/assignment-rounding
3m 51s
Merge pull request #93 from ctoth/fix/datalog-grounding-projection test #139: Commit 9c6de2b pushed by ctoth
3m 35s main
main
3m 35s
Fix Datalog grounding projection: instance-specific defeaters, full provenance, fresh rule names test #138: Pull request #93 synchronize by ctoth
3m 43s fix/datalog-grounding-projection
fix/datalog-grounding-projection
3m 43s
Merge pull request #99 from ctoth/fix/mixed-af-def14 test #137: Commit 6441acd pushed by ctoth
4m 28s main
main
4m 28s
Merge pull request #98 from ctoth/fix/ranking-postulates test #136: Commit acf7f9c pushed by ctoth
1m 34s main
main
1m 34s
Follow Modgil & Prakken 2018 Def 14 on mixed attack/defeat frameworks test #135: Pull request #99 opened by ctoth
3m 57s fix/mixed-af-def14
fix/mixed-af-def14
3m 57s
Fix SC/CP/DP postulate checkers and discussion-based overflow (#74 #75 #76 #80) test #134: Pull request #98 synchronize by ctoth
4m 7s fix/ranking-postulates
fix/ranking-postulates
4m 7s
Merge pull request #97 from ctoth/fix/solver-diff-witnesses test #133: Commit 0ae0829 pushed by ctoth
3m 45s main
main
3m 45s
Accept valid differing solver witnesses; drop ABA shape property deadline test #132: Pull request #97 opened by ctoth
3m 39s fix/solver-diff-witnesses
fix/solver-diff-witnesses
3m 39s
docs: correct paper notes against source page images test #131: Commit 753569f pushed by ctoth
4m 19s main
main
4m 19s
Merge pull request #96 from ctoth/fix/aba-projection-supports test #130: Commit f16413e pushed by ctoth
3m 2s main
main
3m 2s
Merge pull request #91 from ctoth/fix/aspic-asp-encoding test #129: Commit 98d91b6 pushed by ctoth
3m 5s main
main
3m 5s