Skip to content

Actions: potassco/clingo-dl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #74 from marcbutler/cmake-example-fix
tests #365: Commit 7ef0e7a pushed by rkaminsk
October 1, 2024 07:25 3m 46s wip
wip
October 1, 2024 07:25 3m 46s
add noble to ppa
tests #361: Commit a4e5321 pushed by rkaminsk
June 23, 2024 09:37 4m 6s wip
wip
June 23, 2024 09:37 4m 6s
update conda setup
tests #360: Commit 8fd8044 pushed by rkaminsk
June 21, 2024 11:00 5m 15s wip
wip
June 21, 2024 11:00 5m 15s
Deploy ppa package (wip)
Deploy ppa package (wip) #41: Manually run by rkaminsk
June 21, 2024 10:59 4m 43s wip
wip
June 21, 2024 10:59 4m 43s
Deploy conda packages (wip)
Deploy conda packages (wip) #42: Manually run by rkaminsk
June 21, 2024 10:59 30m 6s wip
wip
June 21, 2024 10:59 30m 6s
Build and upload to PyPI
Build and upload to PyPI #10: Manually run by rkaminsk
June 21, 2024 10:59 19m 22s wip
wip
June 21, 2024 10:59 19m 22s
update deploy scripts
tests #359: Commit 15dd568 pushed by rkaminsk
June 21, 2024 10:59 3m 20s wip
wip
June 21, 2024 10:59 3m 20s
make compatible with new clingo versions
tests #358: Commit 4c8b48e pushed by rkaminsk
March 23, 2024 20:45 1d 12h 35m 59s bug/sat-clauses-loop
March 23, 2024 20:45 1d 12h 35m 59s
Build and upload to PyPI
Build and upload to PyPI #9: Manually run by rkaminsk
February 16, 2024 16:46 21m 21s master
February 16, 2024 16:46 21m 21s
bump versions
tests #357: Commit 8330180 pushed by rkaminsk
February 16, 2024 16:46 5m 49s master
February 16, 2024 16:46 5m 49s
bump versions
tests #356: Commit 8330180 pushed by rkaminsk
February 16, 2024 09:41 4m 53s wip
wip
February 16, 2024 09:41 4m 53s
Deploy ppa package (wip)
Deploy ppa package (wip) #40: Manually run by rkaminsk
February 15, 2024 19:56 4m 54s master
February 15, 2024 19:56 4m 54s
Deploy conda packages (wip)
Deploy conda packages (wip) #41: Manually run by rkaminsk
February 15, 2024 19:56 15m 43s master
February 15, 2024 19:56 15m 43s
Build and upload to PyPI
Build and upload to PyPI #8: Manually run by rkaminsk
February 15, 2024 19:56 22m 40s master
February 15, 2024 19:56 22m 40s
better finding of python extensions
tests #355: Commit 26711b1 pushed by rkaminsk
February 15, 2024 17:37 9m 33s wip
wip
February 15, 2024 17:37 9m 33s
Build and upload to PyPI
Build and upload to PyPI #7: Manually run by rkaminsk
February 15, 2024 17:32 15m 59s master
February 15, 2024 17:32 15m 59s
better finding of python extensions
tests #354: Commit 26711b1 pushed by rkaminsk
February 15, 2024 17:32 5m 23s master
February 15, 2024 17:32 5m 23s
Deploy ppa package (wip)
Deploy ppa package (wip) #39: Manually run by rkaminsk
February 15, 2024 17:16 6m 49s wip
wip
February 15, 2024 17:16 6m 49s
Deploy conda packages (wip)
Deploy conda packages (wip) #40: Manually run by rkaminsk
February 15, 2024 17:16 16m 32s wip
wip
February 15, 2024 17:16 16m 32s
Build and upload to PyPI
Build and upload to PyPI #6: Manually run by rkaminsk
February 15, 2024 17:16 5m 36s wip
wip
February 15, 2024 17:16 5m 36s
update changes + versions
tests #353: Commit 0375aa6 pushed by rkaminsk
February 15, 2024 17:15 4m 27s wip
wip
February 15, 2024 17:15 4m 27s
update changes + versions
tests #352: Commit 0375aa6 pushed by rkaminsk
February 15, 2024 17:15 3m 56s master
February 15, 2024 17:15 3m 56s
Update README.md
tests #351: Commit 8bb77e0 pushed by rkaminsk
October 11, 2023 12:11 7m 8s wip
wip
October 11, 2023 12:11 7m 8s