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) #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
fix incmode for gringo CI tests #605: Commit 9dab481 pushed by rkaminsk
June 18, 2024 12:22 11m 0s wip
wip
June 18, 2024 12:22 11m 0s
Merge pull request #507 from namcsi/fix-comment-type-enum CI tests #604: Commit 041e904 pushed by rkaminsk
June 13, 2024 16:07 10m 48s wip
wip
June 13, 2024 16:07 10m 48s
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 patch-1
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