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

Deploy ppa package (wip) Deploy ppa package (wip) #140: Manually run by rkaminsk
August 19, 2024 12:38 7m 12s wip
wip
August 19, 2024 12:38 7m 12s
update clasp CI tests #630: Commit ba29b20 pushed by rkaminsk
August 19, 2024 12:28 10m 43s wip
wip
August 19, 2024 12:28 10m 43s
add example CI tests #629: Commit 501f8aa pushed by rkaminsk
August 8, 2024 10:29 10m 0s wip
wip
August 8, 2024 10:29 10m 0s
update checkout action CI tests #628: Commit 36bea51 pushed by rkaminsk
July 18, 2024 16:15 11m 3s wip
wip
July 18, 2024 16:15 11m 3s
fix cffi on macos CI tests #627: Commit d8c4dcc pushed by rkaminsk
July 18, 2024 12:42 11m 10s wip
wip
July 18, 2024 12:42 11m 10s
Fix/variadic CI tests #626: Pull request #514 synchronize by rkaminsk
July 12, 2024 13:23 15m 41s fix/variadic
fix/variadic
July 12, 2024 13:23 15m 41s
Fix/variadic CI tests #625: Pull request #514 opened by rkaminsk
July 12, 2024 13:21 11m 38s fix/variadic
fix/variadic
July 12, 2024 13:21 11m 38s
try to fix clingo_build_ast on arm64 CI tests #624: Pull request #513 opened by rkaminsk
July 11, 2024 17:12 10m 49s workaround/variadic
workaround/variadic
July 11, 2024 17:12 10m 49s
update generated files CI tests #623: Commit 8522235 pushed by rkaminsk
July 10, 2024 20:45 11m 23s wip
wip
July 10, 2024 20:45 11m 23s
CI tests CI tests #622: by rkaminsk
July 5, 2024 19:03 11m 37s wip
wip
July 5, 2024 19:03 11m 37s
minor fix in control.py documentation CI tests #621: Pull request #510 opened by javier-romero
July 5, 2024 13:34 11m 17s javier-romero:patch-1
javier-romero:patch-1
July 5, 2024 13:34 11m 17s
Merge branch 'master' into wip CI tests #620: Commit df4f031 pushed by rkaminsk
June 28, 2024 06:53 4m 12s wip
wip
June 28, 2024 06:53 4m 12s
bump python version CI tests #619: Commit 65c976c pushed by rkaminsk
June 28, 2024 06:49 11m 10s master
master
June 28, 2024 06:49 11m 10s
add option --enable-python to clingo entry point CI tests #618: Commit d226fa6 pushed by rkaminsk
June 27, 2024 12:59 11m 7s wip
wip
June 27, 2024 12:59 11m 7s
update test CI tests #617: Commit 423c22a pushed by rkaminsk
June 25, 2024 16:27 11m 9s wip
wip
June 25, 2024 16:27 11m 9s
remove old unused terminals CI tests #616: Commit b00fc99 pushed by rkaminsk
June 25, 2024 11:43 11m 32s wip
wip
June 25, 2024 11:43 11m 32s
improve lua handling CI tests #615: Commit 28c1b3a pushed by rkaminsk
June 23, 2024 09:34 11m 34s wip
wip
June 23, 2024 09:34 11m 34s
update deploy CI tests #614: Commit 4ed5cd1 pushed by rkaminsk
June 23, 2024 08:20 10m 58s wip
wip
June 23, 2024 08:20 10m 58s
add ppa for noble CI tests #613: Commit 9a402a5 pushed by rkaminsk
June 23, 2024 08:17 11m 10s wip
wip
June 23, 2024 08:17 11m 10s
fine tune last commit CI tests #612: Commit 2d30e26 pushed by rkaminsk
June 20, 2024 18:07 11m 42s wip
wip
June 20, 2024 18:07 11m 42s
Deploy conda packages (wip) Deploy conda packages (wip) #146: Manually run by rkaminsk
June 20, 2024 17:53 31m 37s wip
wip
June 20, 2024 17:53 31m 37s
fix conda builds for windows and macos (#508) CI tests #611: Commit 4dd0429 pushed by rkaminsk
June 20, 2024 17:53 11m 49s wip
wip
June 20, 2024 17:53 11m 49s
fix conda builds for windows and macos CI tests #610: Pull request #508 opened by rkaminsk
June 20, 2024 17:26 11m 44s conda
conda
June 20, 2024 17:26 11m 44s
Deploy conda packages (wip) Deploy conda packages (wip) #145: Manually run by rkaminsk
June 20, 2024 17:18 33m 46s conda
conda
June 20, 2024 17:18 33m 46s
Deploy conda packages (wip) Deploy conda packages (wip) #144: Manually run by rkaminsk
June 20, 2024 17:13 22m 25s conda
conda
June 20, 2024 17:13 22m 25s