Skip to content

Actions: potassco/clingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce duplication in gringo options. CI tests #593: Pull request #487 opened by BenKaufmann
February 23, 2024 14:22 11m 52s reduce-option-duplication
reduce-option-duplication
February 23, 2024 14:22 11m 52s
Build and upload to PyPI Build and upload to PyPI #58: Manually run by rkaminsk
February 21, 2024 08:05 2h 35m 17s wip
wip
February 21, 2024 08:05 2h 35m 17s
Deploy conda packages (wip) Deploy conda packages (wip) #142: Manually run by rkaminsk
February 21, 2024 08:05 30m 47s wip
wip
February 21, 2024 08:05 30m 47s
Deploy ppa package (wip) Deploy ppa package (wip) #138: Manually run by rkaminsk
February 21, 2024 08:05 8m 8s wip
wip
February 21, 2024 08:05 8m 8s
update changes and bump version CI tests #592: Commit 036ea9d pushed by rkaminsk
February 21, 2024 08:05 12m 51s wip
wip
February 21, 2024 08:05 12m 51s
use cffi 1.16 to support python 3.12 CI tests #591: Commit 9cafb1c pushed by rkaminsk
February 20, 2024 20:55 12m 56s wip
wip
February 20, 2024 20:55 12m 56s
Build and upload to PyPI Build and upload to PyPI #57: Manually run by rkaminsk
February 16, 2024 11:14 2h 39m 9s master
master
February 16, 2024 11:14 2h 39m 9s
Deploy ppa package (wip) Deploy ppa package (wip) #137: Manually run by rkaminsk
February 16, 2024 11:14 6m 10s master
master
February 16, 2024 11:14 6m 10s
Deploy conda packages (wip) Deploy conda packages (wip) #141: Manually run by rkaminsk
February 16, 2024 11:14 28m 50s master
master
February 16, 2024 11:14 28m 50s
update cibw CI tests #590: Commit 849f282 pushed by rkaminsk
February 16, 2024 10:02 11m 24s master
master
February 16, 2024 10:02 11m 24s
update cibw CI tests #589: Commit 849f282 pushed by rkaminsk
February 16, 2024 10:01 10m 26s wip
wip
February 16, 2024 10:01 10m 26s
Build and upload to PyPI Build and upload to PyPI #56: Manually run by rkaminsk
February 16, 2024 09:35 2h 34m 27s update/cibw
update/cibw
February 16, 2024 09:35 2h 34m 27s
Deploy conda packages (wip) Deploy conda packages (wip) #140: Manually run by rkaminsk
February 16, 2024 09:28 23m 25s update/cibw
update/cibw
February 16, 2024 09:28 23m 25s
Deploy ppa package (wip) Deploy ppa package (wip) #136: Manually run by rkaminsk
February 16, 2024 09:28 6m 8s update/cibw
update/cibw
February 16, 2024 09:28 6m 8s
Deploy conda packages (wip) Deploy conda packages (wip) #139: Manually run by rkaminsk
February 16, 2024 08:26 30m 24s wip
wip
February 16, 2024 08:26 30m 24s
Deploy ppa package (wip) Deploy ppa package (wip) #135: Manually run by rkaminsk
February 16, 2024 08:26 7m 40s wip
wip
February 16, 2024 08:26 7m 40s
bump version CI tests #588: Commit 448141d pushed by rkaminsk
February 16, 2024 08:25 11m 24s wip
wip
February 16, 2024 08:25 11m 24s
Merge pull request #484 from potassco/fix/manifest CI tests #587: Commit 28f7210 pushed by rkaminsk
February 16, 2024 08:20 11m 35s wip
wip
February 16, 2024 08:20 11m 35s
Merge pull request #485 from potassco/fix/comparison CI tests #586: Commit c83dbde pushed by rkaminsk
February 16, 2024 08:20 10m 52s wip
wip
February 16, 2024 08:20 10m 52s
fix comparison of theory elements CI tests #585: Pull request #485 opened by rkaminsk
February 16, 2024 08:04 10m 20s fix/comparison
fix/comparison
February 16, 2024 08:04 10m 20s
fix manifest to include wide-integer lib CI tests #584: Pull request #484 opened by rkaminsk
February 16, 2024 08:03 13m 13s fix/manifest
fix/manifest
February 16, 2024 08:03 13m 13s
update contributing link CI tests #583: Commit ee81bd5 pushed by rkaminsk
February 15, 2024 16:49 14m 42s wip
wip
February 15, 2024 16:49 14m 42s
update contributing link CI tests #582: Commit ee81bd5 pushed by rkaminsk
February 15, 2024 16:49 14m 13s master
master
February 15, 2024 16:49 14m 13s
Build and upload to PyPI Build and upload to PyPI #51: Manually run by rkaminsk
February 15, 2024 16:41 2h 12m 58s wip
wip
February 15, 2024 16:41 2h 12m 58s
Deploy conda packages (wip) Deploy conda packages (wip) #138: Manually run by rkaminsk
February 15, 2024 16:41 25m 13s wip
wip
February 15, 2024 16:41 25m 13s