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

Rework dynamic/blocked restarts. CI tests #83: Commit 06e1ad3 pushed by BenKaufmann
July 2, 2024 13:30 2m 40s ema
ema
July 2, 2024 13:30 2m 40s
Update libpotassco. CI tests #82: Commit 4182855 pushed by BenKaufmann
July 2, 2024 13:27 2m 50s dev
dev
July 2, 2024 13:27 2m 50s
Update libpotassco. CI tests #81: Commit c4c0e57 pushed by BenKaufmann
July 2, 2024 11:50 2m 50s dev
dev
July 2, 2024 11:50 2m 50s
Update libpotassco. CI tests #80: Commit ad4f562 pushed by BenKaufmann
July 2, 2024 11:28 3m 12s dev
dev
July 2, 2024 11:28 3m 12s
Fix: ClaspCliConfig::getValue() must not change configuration. CI tests #79: Commit d90ec17 pushed by BenKaufmann
July 2, 2024 11:11 2m 31s dev
dev
July 2, 2024 11:11 2m 31s
Rework dynamic/blocked restarts. CI tests #78: Commit c52c80e pushed by BenKaufmann
June 25, 2024 07:24 2m 25s ema
ema
June 25, 2024 07:24 2m 25s
Fix some more typos. CI tests #77: Commit cc71e03 pushed by BenKaufmann
June 25, 2024 07:23 2m 35s dev
dev
June 25, 2024 07:23 2m 35s
Rework dynamic/blocked restarts. CI tests #76: Commit 60123c6 pushed by BenKaufmann
June 25, 2024 06:17 2m 15s ema
ema
June 25, 2024 06:17 2m 15s
Issue #101: Freeze atoms with domain modification. CI tests #75: Commit 9e79458 pushed by BenKaufmann
June 25, 2024 06:12 2m 32s dev
dev
June 25, 2024 06:12 2m 32s
Issue #101: Freeze atoms with domain modification. CI tests #74: Commit 9e79458 pushed by BenKaufmann
June 24, 2024 16:08 2m 23s issue-101
issue-101
June 24, 2024 16:08 2m 23s
Rework dynamic/blocked restarts. CI tests #73: Commit 6699bb1 pushed by BenKaufmann
June 11, 2024 10:53 2m 23s ema
ema
June 11, 2024 10:53 2m 23s
Fix typo in TextOutput::ResultStr enum. CI tests #72: Commit cc296ac pushed by BenKaufmann
June 11, 2024 10:52 2m 32s dev
dev
June 11, 2024 10:52 2m 32s
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