Skip to content

Actions: potassco/clasp

Actions

CI tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rework dynamic/blocked restarts. CI tests #60: Commit 6e46f57 pushed by BenKaufmann
April 9, 2024 11:07 2m 34s ema
ema
April 9, 2024 11:07 2m 34s
Rework dynamic/blocked restarts. CI tests #59: Commit 34986f4 pushed by BenKaufmann
April 9, 2024 10:33 2m 32s ema
ema
April 9, 2024 10:33 2m 32s
Rework dynamic/blocked restarts. CI tests #58: Commit 9b1713b pushed by BenKaufmann
April 5, 2024 09:51 2m 12s ema
ema
April 5, 2024 09:51 2m 12s
WIP CI tests #57: Commit 5727211 pushed by BenKaufmann
April 2, 2024 16:09 9m 40s ema
ema
April 2, 2024 16:09 9m 40s
EMA CI tests #56: Commit 31e008d pushed by BenKaufmann
March 28, 2024 17:54 2m 47s ema
ema
March 28, 2024 17:54 2m 47s
EMA CI tests #55: Commit d5ea6a5 pushed by BenKaufmann
March 28, 2024 17:33 2m 6s ema
ema
March 28, 2024 17:33 2m 6s
Add support for keeping dynamic restart lbd queue. CI tests #54: Commit db5fce9 pushed by BenKaufmann
March 28, 2024 14:41 2m 51s dev
dev
March 28, 2024 14:41 2m 51s
Add support for keeping dynamic restart lbd queue. CI tests #53: Commit 7b0678e pushed by BenKaufmann
March 28, 2024 13:34 2m 50s dev
dev
March 28, 2024 13:34 2m 50s
Adjust error handling. CI tests #52: Commit e7973f1 pushed by BenKaufmann
March 25, 2024 16:58 2m 4s dev
dev
March 25, 2024 16:58 2m 4s
App: Simplify output customization. CI tests #51: Commit eb0b28d pushed by BenKaufmann
March 19, 2024 17:04 2m 41s dev
dev
March 19, 2024 17:04 2m 41s
Fix tests for CLASP_BUILD_WITH_THREADS=OFF. CI tests #50: Commit fa71c06 pushed by BenKaufmann
March 18, 2024 19:40 2m 57s dev
dev
March 18, 2024 19:40 2m 57s
Update libpotassco. CI tests #49: Commit e949bb6 pushed by BenKaufmann
March 18, 2024 11:11 2m 36s dev
dev
March 18, 2024 11:11 2m 36s
Simplify RestartParams. CI tests #48: Commit 3c869fe pushed by BenKaufmann
March 10, 2024 08:41 2m 33s dev
dev
March 10, 2024 08:41 2m 33s
Fix potential nullptr access in parallel solve. CI tests #47: Commit 641a5b6 pushed by BenKaufmann
February 21, 2024 08:56 2m 22s dev
dev
February 21, 2024 08:56 2m 22s
Use intrusive linked list in VMTF. CI tests #46: Commit 004c4df pushed by BenKaufmann
February 16, 2024 14:23 2m 17s dev
dev
February 16, 2024 14:23 2m 17s
Use intrusive linked list in VMTF. CI tests #45: Commit 6e127c1 pushed by BenKaufmann
February 16, 2024 13:19 1m 50s vmtf-intrusive
vmtf-intrusive
February 16, 2024 13:19 1m 50s
Update libpotassco. CI tests #44: Commit 3f3db1e pushed by BenKaufmann
February 7, 2024 16:20 2m 58s v3.3.10
v3.3.10
February 7, 2024 16:20 2m 58s
Update libpotassco. CI tests #43: Commit 3f3db1e pushed by BenKaufmann
February 7, 2024 16:17 2m 53s master
master
February 7, 2024 16:17 2m 53s
Update libpotassco. CI tests #42: Commit 3f3db1e pushed by BenKaufmann
February 7, 2024 16:16 3m 11s dev
dev
February 7, 2024 16:16 3m 11s
Prepare for release-3.3.10 CI tests #41: Commit 3d57494 pushed by BenKaufmann
February 7, 2024 15:58 1m 59s v3.3.10
v3.3.10
February 7, 2024 15:58 1m 59s
Prepare for release-3.3.10 CI tests #40: Commit 3d57494 pushed by BenKaufmann
February 7, 2024 15:49 3m 6s master
master
February 7, 2024 15:49 3m 6s
Prepare for release-3.3.10 CI tests #39: Commit 3d57494 pushed by BenKaufmann
February 7, 2024 15:37 3m 15s dev
dev
February 7, 2024 15:37 3m 15s
Issue #98: Fix bug in incremental preprocessing. CI tests #38: Commit 14abae1 pushed by BenKaufmann
February 6, 2024 16:10 2m 40s dev
dev
February 6, 2024 16:10 2m 40s
Clingo issue #475: Drop invalid pointer tagging. CI tests #37: Commit b6ba2ef pushed by BenKaufmann
February 5, 2024 16:34 3m 35s dev
dev
February 5, 2024 16:34 3m 35s