Skip to content

Actions: potassco/clasp

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
44 workflow runs
44 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Rework dynamic/blocked restarts. CI tests #71: Commit a958b71 pushed by BenKaufmann
May 31, 2024 07:17 2m 57s ema
ema
May 31, 2024 07:17 2m 57s
Rework dynamic/blocked restarts. CI tests #70: Commit 8829851 pushed by BenKaufmann
May 14, 2024 15:56 2m 43s ema
ema
May 14, 2024 15:56 2m 43s
Add support for pb-cconstraints in [w]cnf+ format. CI tests #69: Commit 420d78d pushed by BenKaufmann
May 14, 2024 15:56 2m 45s dev
dev
May 14, 2024 15:56 2m 45s
Rework dynamic/blocked restarts. CI tests #68: Commit e11ebd3 pushed by BenKaufmann
May 14, 2024 10:39 3m 2s ema
ema
May 14, 2024 10:39 3m 2s
Fix potential infinite loop in DimcasParser. CI tests #67: Commit 3795eaf pushed by BenKaufmann
May 13, 2024 16:03 2m 29s dev
dev
May 13, 2024 16:03 2m 29s
Rework dynamic/blocked restarts. CI tests #66: Commit 92bd0e7 pushed by BenKaufmann
April 22, 2024 13:09 2m 22s ema
ema
April 22, 2024 13:09 2m 22s
Update libpotassco. CI tests #65: Commit fafd065 pushed by BenKaufmann
April 22, 2024 13:08 2m 25s dev
dev
April 22, 2024 13:08 2m 25s
Rework dynamic/blocked restarts. CI tests #64: Commit d226d86 pushed by BenKaufmann
April 18, 2024 17:32 1m 59s ema
ema
April 18, 2024 17:32 1m 59s
Fix typos here and there. CI tests #63: Commit 7d7b69c pushed by BenKaufmann
April 18, 2024 17:32 2m 23s dev
dev
April 18, 2024 17:32 2m 23s
Rework dynamic/blocked restarts. CI tests #62: Commit d9b7b5d pushed by BenKaufmann
April 9, 2024 11:15 2m 35s ema
ema
April 9, 2024 11:15 2m 35s
Add number of blocked restarts to stats. CI tests #61: Commit 92af18c pushed by BenKaufmann
April 9, 2024 11:14 2m 21s dev
dev
April 9, 2024 11:14 2m 21s
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