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

update clasp
CI tests #574: Commit 60939c6 pushed by rkaminsk
February 7, 2024 16:02 12m 6s wip
wip
February 7, 2024 16:02 12m 6s
Build and upload to PyPI
Build and upload to PyPI #48: Manually run by rkaminsk
January 26, 2024 12:53 2h 10m 58s wip
wip
January 26, 2024 12:53 2h 10m 58s
Deploy conda packages (wip)
Deploy conda packages (wip) #135: Manually run by rkaminsk
January 26, 2024 12:53 18m 31s wip
wip
January 26, 2024 12:53 18m 31s
Deploy ppa package (wip)
Deploy ppa package (wip) #131: Manually run by rkaminsk
January 26, 2024 12:53 7m 3s wip
wip
January 26, 2024 12:53 7m 3s
update clasp
CI tests #573: Commit ae48295 pushed by rkaminsk
January 26, 2024 12:53 11m 39s wip
wip
January 26, 2024 12:53 11m 39s
adjust example
CI tests #572: Commit 94068ee pushed by rkaminsk
January 6, 2024 09:35 10m 23s wip
wip
January 6, 2024 09:35 10m 23s
fix sorting of terms
CI tests #571: Commit 24e9ebb pushed by rkaminsk
December 13, 2023 21:01 19m 10s wip
wip
December 13, 2023 21:01 19m 10s
Build and upload to PyPI
Build and upload to PyPI #47: Manually run by rkaminsk
November 23, 2023 11:47 2h 15m 9s wip
wip
November 23, 2023 11:47 2h 15m 9s
Deploy conda packages (wip)
Deploy conda packages (wip) #134: Manually run by rkaminsk
November 23, 2023 11:47 28m 13s wip
wip
November 23, 2023 11:47 28m 13s
Deploy ppa package (wip)
Deploy ppa package (wip) #130: Manually run by rkaminsk
November 23, 2023 11:47 7m 27s wip
wip
November 23, 2023 11:47 7m 27s
Merge pull request #465 from potassco/contributing
CI tests #570: Commit 8d479ba pushed by rkaminsk
November 23, 2023 11:33 11m 16s wip
wip
November 23, 2023 11:33 11m 16s
Contributing
CI tests #569: Pull request #465 synchronize by rkaminsk
November 23, 2023 11:33 13m 33s contributing
November 23, 2023 11:33 13m 33s
Merge pull request #463 from potassco/feature/overflow
CI tests #568: Commit fe1bf75 pushed by rkaminsk
November 23, 2023 11:28 12m 49s wip
wip
November 23, 2023 11:28 12m 49s
Merge pull request #464 from adamjstewart/distutils
CI tests #567: Commit 19feff0 pushed by rkaminsk
November 2, 2023 19:08 13m 23s wip
wip
November 2, 2023 19:08 13m 23s
Contributing
CI tests #565: Pull request #465 synchronize by rkaminsk
November 2, 2023 17:41 12m 44s contributing
November 2, 2023 17:41 12m 44s
Contributing
CI tests #564: Pull request #465 opened by rkaminsk
November 2, 2023 17:19 15m 20s contributing
November 2, 2023 17:19 15m 20s
Feature/overflow
CI tests #562: Pull request #463 opened by rkaminsk
October 18, 2023 11:53 23m 37s feature/overflow
October 18, 2023 11:53 23m 37s
Build and upload to PyPI
Build and upload to PyPI #46: Manually run by rkaminsk
October 17, 2023 13:12 3h 28m 22s wip
wip
October 17, 2023 13:12 3h 28m 22s
Deploy conda packages (wip)
Deploy conda packages (wip) #133: Manually run by rkaminsk
October 17, 2023 13:12 41m 20s wip
wip
October 17, 2023 13:12 41m 20s
Deploy ppa package (wip)
Deploy ppa package (wip) #129: Manually run by rkaminsk
October 17, 2023 13:12 10m 39s wip
wip
October 17, 2023 13:12 10m 39s
extend add_theory_atom method of backend (#461)
CI tests #561: Commit b70ed6d pushed by rkaminsk
October 17, 2023 13:09 16m 57s wip
wip
October 17, 2023 13:09 16m 57s
extend add_theory_atom method of backend
CI tests #560: Pull request #461 synchronize by rkaminsk
October 17, 2023 13:09 21m 21s feature/improve-add-theory
October 17, 2023 13:09 21m 21s
extend add_theory_atom method of backend
CI tests #559: Pull request #461 synchronize by rkaminsk
October 17, 2023 13:08 23m 8s feature/improve-add-theory
October 17, 2023 13:08 23m 8s
Merge pull request #462 from potassco/fix/overflow-iesolver
CI tests #558: Commit d8f3fab pushed by rkaminsk
October 17, 2023 13:04 17m 2s wip
wip
October 17, 2023 13:04 17m 2s
handle overflows in the IESolver
CI tests #557: Pull request #462 synchronize by rkaminsk
October 17, 2023 13:04 25m 5s fix/overflow-iesolver
October 17, 2023 13:04 25m 5s