Skip to content

Actions: potassco/clingo

Actions

CI tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #531 from potassco/format CI tests #663: Commit 6bd7584 pushed by rkaminsk
December 11, 2024 15:20 11m 3s wip
wip
December 11, 2024 15:20 11m 3s
add basic formatters CI tests #662: Pull request #531 synchronize by rkaminsk
December 11, 2024 15:06 11m 24s format
format
December 11, 2024 15:06 11m 24s
Improve support for writing checkpoints in aspif format (#530) CI tests #661: Commit e3b4e9a pushed by rkaminsk
December 11, 2024 14:47 11m 5s wip
wip
December 11, 2024 14:47 11m 5s
Improve support for writing checkpoints in aspif format CI tests #660: Pull request #530 synchronize by rkaminsk
December 11, 2024 14:23 12m 20s feature/checkpoint
feature/checkpoint
December 11, 2024 14:23 12m 20s
add basic formatters CI tests #659: Pull request #531 synchronize by rkaminsk
December 11, 2024 13:19 10m 44s format
format
December 11, 2024 13:19 10m 44s
add basic formatters CI tests #658: Pull request #531 opened by rkaminsk
December 11, 2024 12:07 12m 1s format
format
December 11, 2024 12:07 12m 1s
Improve support for writing checkpoints in aspif format CI tests #657: Pull request #530 synchronize by rkaminsk
December 11, 2024 10:45 13m 4s feature/checkpoint
feature/checkpoint
December 11, 2024 10:45 13m 4s
Improve support for writing checkpoints in aspif format CI tests #656: Pull request #530 synchronize by rkaminsk
December 11, 2024 10:39 12m 2s feature/checkpoint
feature/checkpoint
December 11, 2024 10:39 12m 2s
Improve support for writing checkpoints in aspif format CI tests #655: Pull request #530 synchronize by rkaminsk
December 10, 2024 19:25 10m 46s feature/checkpoint
feature/checkpoint
December 10, 2024 19:25 10m 46s
Improve support for writing checkpoints in aspif format CI tests #654: Pull request #530 opened by rkaminsk
December 10, 2024 18:18 12m 27s feature/checkpoint
feature/checkpoint
December 10, 2024 18:18 12m 27s
Merge pull request #529 from potassco/fix-propagator-issue CI tests #653: Commit 34e9f07 pushed by rkaminsk
December 4, 2024 09:36 11m 54s wip
wip
December 4, 2024 09:36 11m 54s
Update clasp. CI tests #652: Pull request #529 opened by BenKaufmann
December 4, 2024 08:47 10m 29s fix-propagator-issue
fix-propagator-issue
December 4, 2024 08:47 10m 29s
Merge pull request #527 from potassco/issue-525 CI tests #651: Commit 9a67244 pushed by rkaminsk
December 2, 2024 13:56 10m 22s wip
wip
December 2, 2024 13:56 10m 22s
For discussion: Add API for removing minimize constraints and updating projection atoms CI tests #650: Pull request #527 synchronize by rkaminsk
December 2, 2024 13:38 11m 37s issue-525
issue-525
December 2, 2024 13:38 11m 37s
For discussion: Add API for removing minimize constraints and updating projection atoms CI tests #649: Pull request #527 opened by BenKaufmann
November 26, 2024 09:26 11m 7s issue-525
issue-525
November 26, 2024 09:26 11m 7s
Merge pull request #526 from potassco/simp-ext CI tests #648: Commit 8b78be9 pushed by rkaminsk
November 22, 2024 09:52 10m 37s wip
wip
November 22, 2024 09:52 10m 37s
Simplify ClaspAPIBackend::external(). CI tests #647: Pull request #526 opened by BenKaufmann
November 22, 2024 08:44 10m 42s simp-ext
simp-ext
November 22, 2024 08:44 10m 42s
Merge pull request #523 from potassco/last-model CI tests #646: Commit e20f16c pushed by rkaminsk
October 25, 2024 10:39 11m 10s wip
wip
October 25, 2024 10:39 11m 10s
Add support for getting last computed model. CI tests #645: Pull request #523 opened by BenKaufmann
October 23, 2024 14:33 11m 21s last-model
last-model
October 23, 2024 14:33 11m 21s
update clasp CI tests #644: Commit 7777b0f pushed by rkaminsk
October 1, 2024 09:57 10m 27s wip
wip
October 1, 2024 09:57 10m 27s
Fix cmake command line examples (#521) CI tests #643: Commit d6237a4 pushed by rkaminsk
October 1, 2024 07:21 11m 5s wip
wip
October 1, 2024 07:21 11m 5s
Fix cmake command line examples CI tests #642: Pull request #521 synchronize by rkaminsk
October 1, 2024 07:20 10m 27s marcbutler:cmake-example-fix
marcbutler:cmake-example-fix
October 1, 2024 07:20 10m 27s
Merge pull request #519 from potassco/consequences CI tests #639: Commit 332b52b pushed by rkaminsk
September 7, 2024 07:14 11m 17s wip
wip
September 7, 2024 07:14 11m 17s
Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows CI tests #638: Pull request #520 opened by dependabot bot
September 3, 2024 22:39 10m 41s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 3, 2024 22:39 10m 41s
For discussion: improve isConsequences CI tests #637: Pull request #519 synchronize by BenKaufmann
August 30, 2024 16:02 11m 29s consequences
consequences
August 30, 2024 16:02 11m 29s