Skip to content

Actions: CodingThrust/problem-reductions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Fix #114: Add Knapsack model (#171) CI #465: Commit 53c13f1 pushed by GiggleLiu
5m 24s main
main
5m 24s
[Model] Knapsack PR Automation #231: Issue comment #214 (comment) created by isPANN
2s
2s
Detect and report primitive rules dominated by composite paths PR Automation #230: Issue comment #193 (comment) created by GiggleLiu
1s
1s
fix: address 5 skill workflow issues from #191 (#195) Deploy Documentation #127: Commit 9085ba5 pushed by GiggleLiu
5m 20s main
main
5m 20s
fix: address 5 skill workflow issues from #191 (#195) CI #464: Commit 9085ba5 pushed by GiggleLiu
5m 5s main
main
5m 5s
Fix #191: Address 5 skill workflow issues PR Automation #229: Issue comment #195 (comment) created by codecov Bot
2s
2s
feat: redundant rule detection via polynomial overhead comparison (#193) CI #463: Pull request #194 synchronize by GiggleLiu
5m 28s jg/redundant-rule-detection
jg/redundant-rule-detection
5m 28s
Garey & Johnson Extraction: 342 Problems + 335 Reductions Catalog PR Automation #228: Issue comment #183 (comment) created by isPANN
1s
1s
Fix #191: Address 5 skill workflow issues CI #462: Pull request #195 opened by zazabap
5m 13s issue-191-skill-fixes
issue-191-skill-fixes
5m 13s
Fix #191: Address 5 skill workflow issues PR Automation #227: Pull request #195 opened by zazabap
1s issue-191-skill-fixes
issue-191-skill-fixes
1s
Skills update for the implementation workflow. PR Automation #226: Issue comment #191 (comment) created by zazabap
1s
1s
PR Automation PR Automation #225: created by isPANN
1s
1s
feat: redundant rule detection via polynomial overhead comparison (#193) CI #461: Pull request #194 synchronize by GiggleLiu
5m 18s jg/redundant-rule-detection
jg/redundant-rule-detection
5m 18s
feat: redundant rule detection via polynomial overhead comparison (#193) PR Automation #224: Issue comment #194 (comment) created by codecov Bot
2s
2s
Detect and report primitive rules dominated by composite paths PR Automation #223: Issue comment #193 (comment) created by GiggleLiu
2s
2s
feat: redundant rule detection via polynomial overhead comparison (#193) PR Automation #222: Pull request #194 opened by GiggleLiu
1s jg/redundant-rule-detection
jg/redundant-rule-detection
1s
feat: redundant rule detection via polynomial overhead comparison (#193) CI #460: Pull request #194 opened by GiggleLiu
5m 11s jg/redundant-rule-detection
jg/redundant-rule-detection
5m 11s
[Rule] Knapsack to QUBO PR Automation #221: Issue comment #116 (comment) created by zazabap
1s
1s
Fix #114: Add Knapsack model PR Automation #220: Issue comment #171 (comment) created by zazabap
1s
1s
Fix #116: Add Knapsack to QUBO reduction CI #459: Pull request #172 synchronize by zazabap
5m 13s issue-116-knapsack-to-qubo
issue-116-knapsack-to-qubo
5m 13s
Fix #122: Add SteinerTree model CI #458: Pull request #192 synchronize by zazabap
5m 10s issue-122-steiner-tree
issue-122-steiner-tree
5m 10s
Fix #122: Add SteinerTree model CI #457: Pull request #192 synchronize by zazabap
5m 6s issue-122-steiner-tree
issue-122-steiner-tree
5m 6s
Fix #122: Add SteinerTree model CI #456: Pull request #192 synchronize by zazabap
5m 25s issue-122-steiner-tree
issue-122-steiner-tree
5m 25s
Fix #122: Add SteinerTree model CI #455: Pull request #192 synchronize by zazabap
5m 6s issue-122-steiner-tree
issue-122-steiner-tree
5m 6s
Fix #122: Add SteinerTree model PR Automation #219: Issue comment #192 (comment) created by zazabap
1s
1s
ProTip! You can narrow down the results and go further in time using created:<2026-03-09 or the other filters available.