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
Render upper_bound parameter contracts in the paper CI #2069: Pull request #1246 opened by isPANN
10m 5s fix/paper-upper-bound-contract
fix/paper-upper-bound-contract
10m 5s
Fix #250: [Rule] VERTEX COVER to MINIMUM CUT INTO BOUNDED SETS CI #2068: Pull request #1245 opened by isPANN
9m 46s issue-250
issue-250
9m 46s
Fix #1206: [Rule] SubsetProduct to CircuitSAT CI #2067: Pull request #1244 opened by isPANN
10m 23s issue-1206-subset-product-circuit-sat
issue-1206-subset-product-circuit-sat
10m 23s
Fix #1198: [Rule] IntegerExpressionMembership to binary ILP CI #2066: Pull request #1243 opened by isPANN
10m 46s issue-1198-integerexpressionmembership-ilp
issue-1198-integerexpressionmembership-ilp
10m 46s
Fix #1199: [Rule] DecisionMinimumVertexCover to DecisionMaximumLeafSpanningTree CI #2065: Pull request #1242 opened by isPANN
10m 1s issue-1199-decision-mvc-to-dmlst
issue-1199-decision-mvc-to-dmlst
10m 1s
Fix #1203: [Rule] ConjunctiveQueryFoldability to Satisfiability CI #2064: Pull request #1241 opened by isPANN
10m 20s ar/issue-1203-cqf-sat
ar/issue-1203-cqf-sat
10m 20s
Fix #1200: [Rule] Unit ComparativeContainment to DecisionQUBO CI #2063: Pull request #1240 opened by isPANN
9m 57s issue-1200-comparative-containment-qubo
issue-1200-comparative-containment-qubo
9m 57s
Fix #1202: [Rule] BoyceCoddNormalFormViolation to Satisfiability CI #2062: Pull request #1239 opened by isPANN
9m 50s issue-1202-boycecodd-sat
issue-1202-boycecodd-sat
9m 50s
Deploy Documentation Deploy Documentation #416: Manually run by isPANN
30m 2s fix/open-question-board-build
fix/open-question-board-build
30m 2s
Fix docs deploy: build Open Question Board via its stable action CI #2061: Pull request #1238 synchronize by isPANN
10m 56s fix/open-question-board-build
fix/open-question-board-build
10m 56s
Fix docs deploy: build Open Question Board via its stable action CI #2060: Pull request #1238 opened by isPANN
4m 6s fix/open-question-board-build
fix/open-question-board-build
4m 6s
Deploy Documentation Deploy Documentation #415: Manually run by isPANN
15m 24s fix/open-question-board-build
fix/open-question-board-build
15m 24s
Fix #1204: [Rule] MaximumCommonEdgeSubgraph to MaximumClique CI #2059: Pull request #1237 opened by isPANN
10m 15s issue-1204-maximumcommonedgesubgraph-maximumclique
issue-1204-maximumcommonedgesubgraph-maximumclique
10m 15s
Fix #1201: [Rule] OneInThreeSatisfiability to SubsetProduct CI #2058: Pull request #1236 opened by isPANN
9m 55s issue-1201-oneinthreesat-subsetproduct
issue-1201-oneinthreesat-subsetproduct
9m 55s
Fix #1205: [Rule] MaximumContactMapOverlap to MaximumClique CI #2057: Pull request #1235 opened by isPANN
9m 54s issue-1205-maxcontactmapoverlap-maximumclique
issue-1205-maxcontactmapoverlap-maximumclique
9m 54s
Fix #1197: [Rule] SimultaneousIncongruences to bounded integer ILP CI #2056: Pull request #1234 opened by isPANN
8m 32s issue-1197-simultaneous-incongruences-ilp
issue-1197-simultaneous-incongruences-ilp
8m 32s
Fix #1096: [Rule] MinimumDominatingSet/One to MinimumHittingSet CI #2055: Pull request #1233 opened by isPANN
10m 8s issue-1096-dominating-set-hitting-set
issue-1096-dominating-set-hitting-set
10m 8s
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