Skip to content

Actions: CodingThrust/problem-reductions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,190 workflow runs
3,190 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(#974): add 39 example-db tests and 31 paper entries for reduction rules CI #1633: Pull request #997 synchronize by zazabap
8m 43s fix/974-example-db-paper-entries
fix/974-example-db-paper-entries
8m 43s
fix(#974): add 39 example-db tests and 31 paper entries for reduction rules CI #1632: Pull request #997 synchronize by zazabap
8m 52s fix/974-example-db-paper-entries
fix/974-example-db-paper-entries
8m 52s
fix(#974): add 39 example-db tests and 31 paper entries for reduction rules CI #1631: Pull request #997 synchronize by zazabap
8m 51s fix/974-example-db-paper-entries
fix/974-example-db-paper-entries
8m 51s
fix(#974): add 39 example-db tests and 31 paper entries for reduction rules CI #1630: Pull request #997 opened by zazabap
8m 49s fix/974-example-db-paper-entries
fix/974-example-db-paper-entries
8m 49s
docs: batch verify-reduction — 34 implementable reductions verified CI #1629: Pull request #992 synchronize by zazabap
8m 26s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 26s
docs: batch verify-reduction — 34 implementable reductions verified CI #1628: Pull request #992 synchronize by zazabap
8m 29s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 29s
docs: batch verify-reduction — 34 implementable reductions verified CI #1627: Pull request #992 synchronize by zazabap
7m 47s feat/batch-verify-reductions
feat/batch-verify-reductions
7m 47s
docs: batch verify-reduction — 34 implementable reductions verified CI #1626: Pull request #992 synchronize by zazabap
9m 7s feat/batch-verify-reductions
feat/batch-verify-reductions
9m 7s
docs: batch verify-reduction — 34 implementable reductions verified CI #1625: Pull request #992 synchronize by zazabap
8m 38s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 38s
docs: batch verify-reduction — 34 implementable reductions verified CI #1624: Pull request #992 synchronize by zazabap
8m 39s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 39s
docs: batch verify-reduction — 34 implementable reductions verified CI #1623: Pull request #992 synchronize by zazabap
8m 37s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 37s
docs: batch verify-reduction — 34 implementable reductions verified CI #1622: Pull request #992 synchronize by zazabap
8m 28s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 28s
docs: batch verify-reduction — 34 implementable reductions verified CI #1621: Pull request #992 synchronize by zazabap
8m 54s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 54s
docs: batch verify-reduction — 34 implementable reductions verified CI #1620: Pull request #992 synchronize by zazabap
8m 23s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 23s
docs: verify-reduction — 5 type-incompatible reductions (math verified, needs decision variants) CI #1619: Pull request #996 opened by zazabap
8m 42s feat/verify-type-incompatible
feat/verify-type-incompatible
8m 42s
docs: batch verify-reduction — 34 implementable reductions verified CI #1618: Pull request #992 synchronize by zazabap
8m 51s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 51s
feat: add verify-reduction skill CI #1617: Pull request #979 synchronize by zazabap
8m 18s feat/verify-reduction-skill
feat/verify-reduction-skill
8m 18s
docs: batch verify-reduction — 34 implementable reductions verified CI #1616: Pull request #992 synchronize by zazabap
8m 57s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 57s
docs: batch verify-reduction — 34 implementable reductions verified CI #1615: Pull request #992 synchronize by zazabap
8m 51s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 51s
docs: batch verify-reduction — 34 implementable reductions verified CI #1614: Pull request #992 synchronize by zazabap
8m 40s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 40s
docs: batch verify-reduction — 34 implementable reductions verified CI #1613: Pull request #992 opened by zazabap
8m 22s feat/batch-verify-reductions
feat/batch-verify-reductions
8m 22s
feat: add 20 problem models with ILP rules (#976) CI #1612: Commit 61f059c pushed by isPANN
8m 18s main
main
8m 18s
feat: add 20 problem models with ILP rules (#976) Deploy Documentation #350: Commit 61f059c pushed by isPANN
5m 37s main
main
5m 37s
feat: add 20 problem models with ILP rules CI #1611: Pull request #976 synchronize by isPANN
8m 34s feat/batch-models
feat/batch-models
8m 34s
feat: add verify-reduction skill CI #1610: Pull request #979 synchronize by zazabap
8m 8s feat/verify-reduction-skill
feat/verify-reduction-skill
8m 8s