Skip to content

Actions: potassco/clingo

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
182 workflow runs
182 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #497 from javier-romero/patch-1 CI tests #602: Commit 2ee5b14 pushed by rkaminsk
May 15, 2024 10:29 11m 20s wip
wip
May 15, 2024 10:29 11m 20s
Fix bug found by Ben CI tests #601: Pull request #497 opened by javier-romero
May 15, 2024 08:18 11m 23s javier-romero:patch-1
javier-romero:patch-1
May 15, 2024 08:18 11m 23s
slightly reduce cost of printing lot's of symbols CI tests #600: Commit 4113b4b pushed by rkaminsk
May 8, 2024 09:40 10m 50s wip
wip
May 8, 2024 09:40 10m 50s
add option to profile CI tests #599: Commit 775dbcd pushed by rkaminsk
May 7, 2024 11:52 10m 57s wip
wip
May 7, 2024 11:52 10m 57s
fix setattr of configuration CI tests #598: Commit cce7f66 pushed by rkaminsk
May 7, 2024 10:59 11m 12s wip
wip
May 7, 2024 10:59 11m 12s
Merge pull request #490 from potassco/simplify-output CI tests #597: Commit 3d2f2b6 pushed by rkaminsk
March 20, 2024 07:55 12m 11s wip
wip
March 20, 2024 07:55 12m 11s
Simplify clasp text output customization. CI tests #596: Pull request #490 synchronize by BenKaufmann
March 20, 2024 07:37 10m 13s simplify-output
simplify-output
March 20, 2024 07:37 10m 13s
Simplify clasp text output customization. CI tests #595: Pull request #490 opened by BenKaufmann
March 19, 2024 17:26 10m 39s simplify-output
simplify-output
March 19, 2024 17:26 10m 39s
Merge pull request #487 from potassco/reduce-option-duplication CI tests #594: Commit d84c400 pushed by rkaminsk
February 23, 2024 15:41 12m 44s wip
wip
February 23, 2024 15:41 12m 44s
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