Skip to content

Actions: potassco/clasp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify clingo propagator init 2/n. CI tests #153: Commit 15f3118 pushed by BenKaufmann
March 25, 2025 17:20 6m 0s dev-20
dev-20
March 25, 2025 17:20 6m 0s
Simplify clingo propagator init 2/n. CI tests #152: Commit 4611f35 pushed by BenKaufmann
March 25, 2025 16:48 6m 36s dev-20
dev-20
March 25, 2025 16:48 6m 36s
Simplify clingo propagator init 2/n. CI tests #151: Commit 10f9eae pushed by BenKaufmann
March 25, 2025 16:39 5m 21s dev-20
dev-20
March 25, 2025 16:39 5m 21s
Simplify clingo propagator init 1/n. CI tests #150: Commit 37eba79 pushed by BenKaufmann
March 24, 2025 16:03 6m 30s dev-20
dev-20
March 24, 2025 16:03 6m 30s
Modernize exception handling in parallel solve. CI tests #149: Commit a28c834 pushed by BenKaufmann
March 19, 2025 15:24 5m 11s dev-20
dev-20
March 19, 2025 15:24 5m 11s
Fix behavior of LogicProgram::dispose(). CI tests #148: Commit b18cffd pushed by BenKaufmann
March 19, 2025 11:21 2m 33s dev
dev
March 19, 2025 11:21 2m 33s
Modernize exception handling in parallel solve. CI tests #147: Commit d2ee5d9 pushed by BenKaufmann
March 17, 2025 09:09 5m 30s dev-20
dev-20
March 17, 2025 09:09 5m 30s
Simplify/Improve ClaspFacade::update(). CI tests #146: Commit 19e1ea1 pushed by BenKaufmann
March 14, 2025 13:30 6m 11s dev-20
dev-20
March 14, 2025 13:30 6m 11s
State machine CI tests #145: Commit 885e69e pushed by BenKaufmann
March 9, 2025 12:13 5m 49s dev-20-check-compile
dev-20-check-compile
March 9, 2025 12:13 5m 49s
WIP: Short Prepro/To Lits CI tests #144: Commit afbfc7e pushed by BenKaufmann
March 9, 2025 12:10 5m 33s dev-20
dev-20
March 9, 2025 12:10 5m 33s
State machine CI tests #143: Commit 39e6d72 pushed by BenKaufmann
March 9, 2025 09:50 5m 2s dev-20-check-compile
dev-20-check-compile
March 9, 2025 09:50 5m 2s
Coroutine CI tests #142: Commit c784a13 pushed by BenKaufmann
February 21, 2025 14:43 5m 13s dev-20-check-compile
dev-20-check-compile
February 21, 2025 14:43 5m 13s
WIP: Short Prepro/To Lits CI tests #141: Commit 604bdf4 pushed by BenKaufmann
February 19, 2025 11:39 5m 6s dev-20
dev-20
February 19, 2025 11:39 5m 6s
Add support for "knf" format. CI tests #140: Commit f922152 pushed by BenKaufmann
February 19, 2025 10:58 2m 17s dev
dev
February 19, 2025 10:58 2m 17s
WIP: Short Prepro/To Lits CI tests #139: Commit 1cac923 pushed by BenKaufmann
February 18, 2025 16:23 5m 51s dev-20
dev-20
February 18, 2025 16:23 5m 51s
WIP: Short Prepro/To Lits CI tests #138: Commit ec4781d pushed by BenKaufmann
February 17, 2025 12:18 5m 2s dev-20
dev-20
February 17, 2025 12:18 5m 2s
WIP: Short Prepro/To Lits CI tests #137: Commit 4307033 pushed by BenKaufmann
February 14, 2025 12:10 5m 12s dev-20
dev-20
February 14, 2025 12:10 5m 12s
WIP: Short Prepro/To Lits CI tests #136: Commit 9ceb062 pushed by BenKaufmann
February 13, 2025 17:05 5m 50s dev-20
dev-20
February 13, 2025 17:05 5m 50s
WIP: Short Prepro/To Lits CI tests #135: Commit 973a231 pushed by BenKaufmann
February 6, 2025 09:20 5m 56s dev-20
dev-20
February 6, 2025 09:20 5m 56s
WIP: Short Prepro/To Lits CI tests #134: Commit 75512c9 pushed by BenKaufmann
January 31, 2025 10:05 5m 39s dev-20
dev-20
January 31, 2025 10:05 5m 39s
WIP: Short Prepro/To Lits CI tests #133: Commit b55abce pushed by BenKaufmann
January 17, 2025 10:26 4m 59s dev-20
dev-20
January 17, 2025 10:26 4m 59s
WIP: Short Prepro CI tests #132: Commit 5d6a286 pushed by BenKaufmann
January 15, 2025 19:07 5m 34s dev-20
dev-20
January 15, 2025 19:07 5m 34s
WIP: Short Prepro CI tests #131: Commit b2675f4 pushed by BenKaufmann
January 15, 2025 11:21 5m 9s dev-20
dev-20
January 15, 2025 11:21 5m 9s
WIP: Short Prepro CI tests #130: Commit dcad1bb pushed by BenKaufmann
January 15, 2025 10:42 5m 45s dev-20
dev-20
January 15, 2025 10:42 5m 45s
WIP: Short Prepro CI tests #129: Commit 3ba2520 pushed by BenKaufmann
January 14, 2025 17:25 6m 1s dev-20
dev-20
January 14, 2025 17:25 6m 1s