Skip to content

Actions: potassco/clasp

Actions

CI tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
WIP: Short Prepro CI tests #128: Commit 17b5815 pushed by BenKaufmann
January 14, 2025 14:57 5m 45s dev-20
dev-20
January 14, 2025 14:57 5m 45s
Add lower bound progression to json output. CI tests #127: Commit 94460c4 pushed by BenKaufmann
January 14, 2025 14:11 2m 58s dev
dev
January 14, 2025 14:11 2m 58s
WIP: Short Prepro CI tests #126: Commit 0bd3d8c pushed by BenKaufmann
December 19, 2024 19:43 5m 46s dev-20
dev-20
December 19, 2024 19:43 5m 46s
WIP: Short Prepro CI tests #125: Commit 44416fe pushed by BenKaufmann
December 19, 2024 19:14 5m 52s dev-20
dev-20
December 19, 2024 19:14 5m 52s
WIP: Short Prepro CI tests #124: Commit 3b3de4a pushed by BenKaufmann
December 19, 2024 18:32 5m 8s dev-20
dev-20
December 19, 2024 18:32 5m 8s
WIP: Short Prepro CI tests #123: Commit b0b87c4 pushed by BenKaufmann
December 17, 2024 09:49 5m 57s dev-20
dev-20
December 17, 2024 09:49 5m 57s
WIP: Short Prepro CI tests #122: Commit ddf7919 pushed by BenKaufmann
December 17, 2024 06:29 5m 13s dev-20
dev-20
December 17, 2024 06:29 5m 13s
WIP: Short Prepro CI tests #121: Commit 49945a9 pushed by BenKaufmann
December 16, 2024 17:11 15s dev-20
dev-20
December 16, 2024 17:11 15s
Clingo issue #528: Prioritize work requests during lookahead. CI tests #120: Commit 7316404 pushed by BenKaufmann
December 9, 2024 13:42 2m 37s dev
dev
December 9, 2024 13:42 2m 37s
Fix issue in clingo propagator. CI tests #119: Commit 2207c3a pushed by BenKaufmann
December 4, 2024 08:03 1m 55s dev
dev
December 4, 2024 08:03 1m 55s
Document statistics and progress output. CI tests #118: Commit 8661297 pushed by BenKaufmann
November 28, 2024 17:19 1m 55s dev
dev
November 28, 2024 17:19 1m 55s