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 #1094: [Rule] MinimumHittingSet to MinimumSetCovering CI #2054: Pull request #1232 opened by isPANN
9m 46s issue-1094-hittingset-to-setcovering
issue-1094-hittingset-to-setcovering
9m 46s
Fix #1097: [Rule] HamiltonianPath to HamiltonianCircuit CI #2053: Pull request #1231 synchronize by isPANN
8m 26s fix-issue-1097-hamiltonian-path
fix-issue-1097-hamiltonian-path
8m 26s
Fix #1097: [Rule] HamiltonianPath to HamiltonianCircuit CI #2052: Pull request #1231 opened by isPANN
10m 41s fix-issue-1097-hamiltonian-path
fix-issue-1097-hamiltonian-path
10m 41s
Fix #1095: [Rule] MinimumDominatingSet/i32 to MinimumSetCovering/i32 CI #2051: Pull request #1230 opened by isPANN
10m 48s issue-1095-dominating-set-cover
issue-1095-dominating-set-cover
10m 48s
Fix #1098: [Rule] HamiltonianCircuit to Satisfiability CI #2050: Pull request #1229 opened by isPANN
10m 6s issue-1098-hamiltoniancircuit-sat
issue-1098-hamiltoniancircuit-sat
10m 6s
Fix #1099: [Rule] KColoring to Satisfiability CI #2049: Pull request #1228 synchronize by isPANN
10m 1s issue-1099-kcoloring-sat
issue-1099-kcoloring-sat
10m 1s
Fix #1099: [Rule] KColoring to Satisfiability CI #2048: Pull request #1228 opened by isPANN
10m 13s issue-1099-kcoloring-sat
issue-1099-kcoloring-sat
10m 13s
Fix #1102: [Rule] MaxCut/One to Maximum2Satisfiability CI #2047: Pull request #1227 synchronize by isPANN
10m 28s issue-1102-maxcut-max2sat
issue-1102-maxcut-max2sat
10m 28s
Fix #1102: [Rule] MaxCut/One to Maximum2Satisfiability CI #2046: Pull request #1227 opened by isPANN
9m 55s issue-1102-maxcut-max2sat
issue-1102-maxcut-max2sat
9m 55s
Fix #1103: ThreeDimensionalMatching to ExactCoverBy3Sets CI #2045: Pull request #1226 synchronize by isPANN
11m 46s issue-1103-3dm-to-x3c
issue-1103-3dm-to-x3c
11m 46s
Fix #1103: ThreeDimensionalMatching to ExactCoverBy3Sets CI #2044: Pull request #1226 opened by isPANN
11m 16s issue-1103-3dm-to-x3c
issue-1103-3dm-to-x3c
11m 16s
Community Call Reminder Community Call Reminder #37: Scheduled
8s main
main
8s
Merge pull request #1220 from CodingThrust/feat/growth-polynomial-exp… CI #2043: Commit e7bacb3 pushed by GiggleLiu
7m 43s main
main
7m 43s
Merge pull request #1220 from CodingThrust/feat/growth-polynomial-exp… Deploy Documentation #414: Commit e7bacb3 pushed by GiggleLiu
14s main
main
14s
Support polynomial exponents and variable bases in the growth domain CI #2042: Pull request #1220 synchronize by GiggleLiu
7m 25s feat/growth-polynomial-exponents
feat/growth-polynomial-exponents
7m 25s
Merge pull request #1219 from CodingThrust/feat/complexity-consistenc… CI #2041: Commit 888d714 pushed by GiggleLiu
7m 43s main
main
7m 43s
Merge pull request #1219 from CodingThrust/feat/complexity-consistenc… Deploy Documentation #413: Commit 888d714 pushed by GiggleLiu
16s main
main
16s
Add complexity consistency audit; fix NonTautology, MinimumWeightDecoding and MaxCut<One> complexities CI #2040: Pull request #1219 synchronize by GiggleLiu
8m 16s feat/complexity-consistency-audit
feat/complexity-consistency-audit
8m 16s
Support polynomial exponents and variable bases in the growth domain CI #2039: Pull request #1220 synchronize by isPANN
7m 28s feat/growth-polynomial-exponents
feat/growth-polynomial-exponents
7m 28s
Add complexity consistency audit; fix NonTautology, MinimumWeightDecoding and MaxCut<One> complexities CI #2038: Pull request #1219 synchronize by isPANN
8m 3s feat/complexity-consistency-audit
feat/complexity-consistency-audit
8m 3s
Add complexity consistency audit; fix NonTautology, MinimumWeightDecoding and MaxCut<One> complexities CI #2037: Pull request #1219 synchronize by isPANN
8m 39s feat/complexity-consistency-audit
feat/complexity-consistency-audit
8m 39s
Add complexity consistency audit; fix NonTautology, MinimumWeightDecoding and MaxCut<One> complexities CI #2036: Pull request #1219 synchronize by isPANN
6m 37s feat/complexity-consistency-audit
feat/complexity-consistency-audit
6m 37s
Add complexity consistency audit; fix NonTautology, MinimumWeightDecoding and MaxCut<One> complexities CI #2035: Pull request #1219 synchronize by isPANN
7m 1s feat/complexity-consistency-audit
feat/complexity-consistency-audit
7m 1s
Graph Update: uv in /scripts #1662596313 Dependency Graph #2: by dependabot Bot
44s main
main
44s
Merge pull request #1196 from CodingThrust/feat/polynomial-comparator-v1 CI #2034: Commit a10ee83 pushed by GiggleLiu
11m 8s main
main
11m 8s