Skip to content

Actions: potassco/clingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
For discussion: improve isConsequences CI tests #636: Pull request #519 opened by BenKaufmann
August 30, 2024 13:11 12m 2s consequences
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
Build and upload to PyPI Build and upload to PyPI #62: Manually run by rkaminsk
August 23, 2024 08:30 18m 13s wip
wip
August 23, 2024 08:30 18m 13s
ensure empty dict in workflow CI tests #632: Commit 2e31167 pushed by rkaminsk
August 23, 2024 08:30 10m 34s wip
wip
August 23, 2024 08:30 10m 34s
Build and upload to PyPI Build and upload to PyPI #61: Manually run by rkaminsk
August 23, 2024 08:26 1m 28s wip
wip
August 23, 2024 08:26 1m 28s
update cibuildwheel CI tests #631: Commit 7e769ec pushed by rkaminsk
August 23, 2024 08:25 11m 11s wip
wip
August 23, 2024 08:25 11m 11s
Build and upload to PyPI Build and upload to PyPI #60: Manually run by rkaminsk
August 19, 2024 12:38 10m 4s wip
wip
August 19, 2024 12:38 10m 4s
Deploy conda packages (wip) Deploy conda packages (wip) #147: Manually run by rkaminsk
August 19, 2024 12:38 25m 23s wip
wip
August 19, 2024 12:38 25m 23s