Skip to content

Actions: potassco/clingo

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy conda packages (wip)
Deploy conda packages (wip) #150: Manually run by rkaminsk
December 3, 2024 09:51 58m 23s wip
wip
December 3, 2024 09:51 58m 23s
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
December 2, 2024 13:38 11m 37s
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
November 22, 2024 08:44 10m 42s
Build and upload to PyPI
Build and upload to PyPI #65: Manually run by rkaminsk
October 25, 2024 10:47 2h 59m 53s wip
wip
October 25, 2024 10:47 2h 59m 53s
Deploy conda packages (wip)
Deploy conda packages (wip) #149: Manually run by rkaminsk
October 25, 2024 10:47 31m 39s wip
wip
October 25, 2024 10:47 31m 39s
Deploy ppa package (wip)
Deploy ppa package (wip) #143: Manually run by rkaminsk
October 25, 2024 10:47 8m 21s wip
wip
October 25, 2024 10:47 8m 21s
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
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
October 1, 2024 07:20 10m 27s
Deploy conda packages (wip)
Deploy conda packages (wip) #148: Manually run by rkaminsk
September 7, 2024 07:17 38m 40s wip
wip
September 7, 2024 07:17 38m 40s
Deploy ppa package (wip)
Deploy ppa package (wip) #142: Manually run by rkaminsk
September 7, 2024 07:17 7m 53s wip
wip
September 7, 2024 07:17 7m 53s
Build and upload to PyPI
Build and upload to PyPI #64: Manually run by rkaminsk
September 7, 2024 07:15 2h 57m 0s wip
wip
September 7, 2024 07:15 2h 57m 0s
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
For discussion: improve isConsequences
CI tests #637: Pull request #519 synchronize by BenKaufmann
August 30, 2024 16:02 11m 29s consequences
August 30, 2024 16:02 11m 29s
For discussion: improve isConsequences
CI tests #636: Pull request #519 opened by BenKaufmann
August 30, 2024 13:11 12m 2s consequences
August 30, 2024 13:11 12m 2s
bump docker qemu action version
CI tests #635: Commit b623bfa pushed by rkaminsk
August 23, 2024 09:42 10m 46s wip
wip
August 23, 2024 09:42 10m 46s
refine cibuildwheel workflow
CI tests #634: Commit 5f788a5 pushed by rkaminsk
August 23, 2024 09:39 11m 25s wip
wip
August 23, 2024 09:39 11m 25s
Build and upload to PyPI
Build and upload to PyPI #63: Manually run by rkaminsk
August 23, 2024 09:12 2h 59m 33s wip
wip
August 23, 2024 09:12 2h 59m 33s
fix artifact generation
CI tests #633: Commit 1fe1729 pushed by rkaminsk
August 23, 2024 09:05 10m 53s wip
wip
August 23, 2024 09:05 10m 53s