Skip to content

Actions: potassco/clingo-dl

All workflows

Actions

Loading...

Showing runs from all workflows
24 workflow runs
24 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

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
update workflow
tests #350: Commit aa68c54 pushed by rkaminsk
September 28, 2023 13:44 6m 31s wip
wip
September 28, 2023 13:44 6m 31s
run linters locally onyl
tests #349: Commit 00cddca pushed by rkaminsk
September 28, 2023 13:05 9m 42s wip
wip
September 28, 2023 13:05 9m 42s
Deploy ppa package (wip)
Deploy ppa package (wip) #38: Manually run by rkaminsk
April 18, 2023 08:12 4m 19s wip
wip
April 18, 2023 08:12 4m 19s
Deploy conda packages (wip)
Deploy conda packages (wip) #39: Manually run by rkaminsk
April 18, 2023 08:12 21m 43s wip
wip
April 18, 2023 08:12 21m 43s
Build and upload to PyPI
Build and upload to PyPI #5: Manually run by rkaminsk
April 18, 2023 08:12 29m 54s wip
wip
April 18, 2023 08:12 29m 54s
Merge pull request #71 from potassco/feature/heuristic
tests #346: Commit 4c4ebe1 pushed by rkaminsk
April 18, 2023 08:07 13m 44s wip
wip
April 18, 2023 08:07 13m 44s
update deploy scripts
tests #345: Commit ac2f894 pushed by rkaminsk
April 18, 2023 08:05 12m 12s wip
wip
April 18, 2023 08:05 12m 12s
update to clingo 5.7
tests #344: Commit e1152da pushed by rkaminsk
April 18, 2023 08:00 8m 37s wip
wip
April 18, 2023 08:00 8m 37s