Skip to content

Actions: potassco/clingo-dl

tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow runs
16 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
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
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
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
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
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