Skip to content

Actions: potassco/clingo

CI tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #523 from potassco/last-model
CI tests #646: Commit e20f16c pushed by rkaminsk
October 25, 2024 10:39 11m 10s wip
wip
October 25, 2024 10:39 11m 10s
Add support for getting last computed model.
CI tests #645: Pull request #523 opened by BenKaufmann
October 23, 2024 14:33 11m 21s last-model
October 23, 2024 14:33 11m 21s
update clasp
CI tests #644: Commit 7777b0f pushed by rkaminsk
October 1, 2024 09:57 10m 27s wip
wip
October 1, 2024 09:57 10m 27s
Fix cmake command line examples (#521)
CI tests #643: Commit d6237a4 pushed by rkaminsk
October 1, 2024 07:21 11m 5s wip
wip
October 1, 2024 07:21 11m 5s
Fix cmake command line examples
CI tests #642: Pull request #521 synchronize by rkaminsk
October 1, 2024 07:20 10m 27s marcbutler:cmake-example-fix
October 1, 2024 07:20 10m 27s
Merge pull request #519 from potassco/consequences
CI tests #639: Commit 332b52b pushed by rkaminsk
September 7, 2024 07:14 11m 17s wip
wip
September 7, 2024 07:14 11m 17s
For discussion: improve isConsequences
CI tests #637: Pull request #519 synchronize by BenKaufmann
August 30, 2024 16:02 11m 29s consequences
August 30, 2024 16:02 11m 29s
For discussion: improve isConsequences
CI tests #636: Pull request #519 opened by BenKaufmann
August 30, 2024 13:11 12m 2s consequences
August 30, 2024 13:11 12m 2s
bump docker qemu action version
CI tests #635: Commit b623bfa pushed by rkaminsk
August 23, 2024 09:42 10m 46s wip
wip
August 23, 2024 09:42 10m 46s
refine cibuildwheel workflow
CI tests #634: Commit 5f788a5 pushed by rkaminsk
August 23, 2024 09:39 11m 25s wip
wip
August 23, 2024 09:39 11m 25s
fix artifact generation
CI tests #633: Commit 1fe1729 pushed by rkaminsk
August 23, 2024 09:05 10m 53s wip
wip
August 23, 2024 09:05 10m 53s
ensure empty dict in workflow
CI tests #632: Commit 2e31167 pushed by rkaminsk
August 23, 2024 08:30 10m 34s wip
wip
August 23, 2024 08:30 10m 34s
update cibuildwheel
CI tests #631: Commit 7e769ec pushed by rkaminsk
August 23, 2024 08:25 11m 11s wip
wip
August 23, 2024 08:25 11m 11s
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
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
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
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