Skip to content

Actions: potassco/clasp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add LogicProgram::remove{Project,Minimize}(). CI tests #117: Commit 005bcf5 pushed by BenKaufmann
November 26, 2024 08:58 1m 57s dev
dev
November 26, 2024 08:58 1m 57s
Add LogicProgram::release{Project,Minimize}(). CI tests #116: Commit 73c59eb pushed by BenKaufmann
November 22, 2024 11:46 3m 5s dev
dev
November 22, 2024 11:46 3m 5s
Fix issue in non-hcf aggregate translation. CI tests #115: Commit 550da14 pushed by BenKaufmann
November 8, 2024 16:15 2m 45s dev
dev
November 8, 2024 16:15 2m 45s
Simplify and fix QueryFinder. CI tests #114: Commit 916f621 pushed by BenKaufmann
October 29, 2024 12:24 2m 48s dev
dev
October 29, 2024 12:24 2m 48s
Fix potential memory leak in CBConsequences. CI tests #113: Commit f7b60ca pushed by BenKaufmann
October 28, 2024 13:19 2m 25s dev
dev
October 28, 2024 13:19 2m 25s
Fix regression in C++98 compilation. CI tests #112: Commit 031323a pushed by BenKaufmann
October 23, 2024 11:16 2m 51s dev
dev
October 23, 2024 11:16 2m 51s
Adjust version. CI tests #111: Commit ef8d08e pushed by BenKaufmann
October 23, 2024 08:12 2m 35s dev
dev
October 23, 2024 08:12 2m 35s
Fix regression in C++98 compilation. CI tests #110: Commit a1d381d pushed by BenKaufmann
October 11, 2024 10:36 2m 16s dev
dev
October 11, 2024 10:36 2m 16s
WIP CI tests #109: Commit f053d82 pushed by BenKaufmann
October 11, 2024 10:21 2m 20s ci-no-threads
ci-no-threads
October 11, 2024 10:21 2m 20s