Skip to content

Actions: potassco/clingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and upload to PyPI Build and upload to PyPI #70: Manually run by rkaminsk
December 11, 2024 15:20 3h 1m 42s wip
wip
December 11, 2024 15:20 3h 1m 42s
Deploy ppa package (wip) Deploy ppa package (wip) #148: Manually run by rkaminsk
December 11, 2024 15:20 7m 36s wip
wip
December 11, 2024 15:20 7m 36s
Deploy conda packages (wip) Deploy conda packages (wip) #153: Manually run by rkaminsk
December 11, 2024 15:20 33m 10s wip
wip
December 11, 2024 15:20 33m 10s
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
Deploy ppa package (wip) Deploy ppa package (wip) #147: Manually run by rkaminsk
December 10, 2024 19:27 6m 12s feature/checkpoint
feature/checkpoint
December 10, 2024 19:27 6m 12s
Build and upload to PyPI Build and upload to PyPI #69: Manually run by rkaminsk
December 10, 2024 19:27 2h 58m 7s feature/checkpoint
feature/checkpoint
December 10, 2024 19:27 2h 58m 7s
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
Build and upload to PyPI Build and upload to PyPI #68: Manually run by rkaminsk
December 10, 2024 18:31 3m 55s feature/checkpoint
feature/checkpoint
December 10, 2024 18:31 3m 55s
Deploy conda packages (wip) Deploy conda packages (wip) #152: Manually run by rkaminsk
December 10, 2024 18:31 26m 10s feature/checkpoint
feature/checkpoint
December 10, 2024 18:31 26m 10s
Deploy ppa package (wip) Deploy ppa package (wip) #146: Manually run by rkaminsk
December 10, 2024 18:31 7m 21s feature/checkpoint
feature/checkpoint
December 10, 2024 18:31 7m 21s
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
Build and upload to PyPI Build and upload to PyPI #67: Manually run by rkaminsk
December 4, 2024 09:42 2h 59m 25s wip
wip
December 4, 2024 09:42 2h 59m 25s
Deploy conda packages (wip) Deploy conda packages (wip) #151: Manually run by rkaminsk
December 4, 2024 09:42 29m 29s wip
wip
December 4, 2024 09:42 29m 29s
Deploy ppa package (wip) Deploy ppa package (wip) #145: Manually run by rkaminsk
December 4, 2024 09:42 7m 42s wip
wip
December 4, 2024 09:42 7m 42s
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
Build and upload to PyPI Build and upload to PyPI #66: Manually run by rkaminsk
December 3, 2024 09:51 3h 0m 15s wip
wip
December 3, 2024 09:51 3h 0m 15s
Deploy ppa package (wip) Deploy ppa package (wip) #144: Manually run by rkaminsk
December 3, 2024 09:51 8m 50s wip
wip
December 3, 2024 09:51 8m 50s