Skip to content

Actions: potassco/clingo

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
June 20, 2024 17:13 22m 25s
Deploy ppa package (wip)
Deploy ppa package (wip) #139: Manually run by rkaminsk
June 18, 2024 12:44 6m 30s wip
wip
June 18, 2024 12:44 6m 30s
Build and upload to PyPI
Build and upload to PyPI #59: Manually run by rkaminsk
June 18, 2024 12:44 2h 38m 24s wip
wip
June 18, 2024 12:44 2h 38m 24s
Deploy conda packages (wip)
Deploy conda packages (wip) #143: Manually run by rkaminsk
June 18, 2024 12:44 4m 22s wip
wip
June 18, 2024 12:44 4m 22s
update actions
CI tests #609: Commit e918de8 pushed by rkaminsk
June 18, 2024 12:43 10m 34s wip
wip
June 18, 2024 12:43 10m 34s
update conda
CI tests #608: Commit e2131a6 pushed by rkaminsk
June 18, 2024 12:39 10m 50s wip
wip
June 18, 2024 12:39 10m 50s
Update README.md
CI tests #607: Commit 2a00744 pushed by rkaminsk
June 18, 2024 12:36 10m 20s wip
wip
June 18, 2024 12:36 10m 20s
Update README.md
CI tests #606: Commit 95f6cce pushed by rkaminsk
June 18, 2024 12:32 11m 1s wip
wip
June 18, 2024 12:32 11m 1s