Skip to content

Actions: potassco/clingo-lpx

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more flexible term parsing
tests #243: Commit b10c3a7 pushed by rkaminsk
September 12, 2024 15:22 4m 0s parsing
September 12, 2024 15:22 4m 0s
fix
tests #242: Commit 03805e7 pushed by rkaminsk
June 23, 2024 12:46 4m 46s master
June 23, 2024 12:46 4m 46s
Update README.md
tests #241: Commit c7221f9 pushed by rkaminsk
June 22, 2024 08:54 4m 0s master
June 22, 2024 08:54 4m 0s
Deploy ppa package (wip)
Deploy ppa package (wip) #32: Manually run by rkaminsk
June 21, 2024 11:44 4m 14s master
June 21, 2024 11:44 4m 14s
Deploy conda packages (wip)
Deploy conda packages (wip) #38: Manually run by rkaminsk
June 21, 2024 11:44 25m 1s master
June 21, 2024 11:44 25m 1s
Build and upload to PyPI
Build and upload to PyPI #16: Manually run by rkaminsk
June 21, 2024 11:44 22m 30s master
June 21, 2024 11:44 22m 30s
update deploy
tests #240: Commit 3260310 pushed by rkaminsk
June 21, 2024 11:44 4m 24s master
June 21, 2024 11:44 4m 24s
Deploy ppa package (wip)
Deploy ppa package (wip) #31: Manually run by rkaminsk
February 16, 2024 16:47 3m 14s master
February 16, 2024 16:47 3m 14s
Deploy conda packages (wip)
Deploy conda packages (wip) #37: Manually run by rkaminsk
February 16, 2024 16:47 15m 26s master
February 16, 2024 16:47 15m 26s
Build and upload to PyPI
Build and upload to PyPI #15: Manually run by rkaminsk
February 16, 2024 16:47 24m 33s master
February 16, 2024 16:47 24m 33s
bump versions
tests #239: Commit 433954c pushed by rkaminsk
February 16, 2024 09:42 4m 56s master
February 16, 2024 09:42 4m 56s
Deploy ppa package (wip)
Deploy ppa package (wip) #30: Manually run by rkaminsk
February 15, 2024 19:56 3m 24s master
February 15, 2024 19:56 3m 24s
Deploy conda packages (wip)
Deploy conda packages (wip) #36: Manually run by rkaminsk
February 15, 2024 19:56 14m 19s master
February 15, 2024 19:56 14m 19s
Build and upload to PyPI
Build and upload to PyPI #14: Manually run by rkaminsk
February 15, 2024 19:56 18m 22s master
February 15, 2024 19:56 18m 22s
tests
tests #238: by rkaminsk
February 15, 2024 19:53 4m 45s v1.3.0
February 15, 2024 19:53 4m 45s
Build and upload to PyPI
Build and upload to PyPI #13: Manually run by rkaminsk
February 15, 2024 17:36 18m 38s master
February 15, 2024 17:36 18m 38s
use python extensions to build pip packages
tests #237: Commit df1c515 pushed by rkaminsk
February 15, 2024 17:35 4m 33s master
February 15, 2024 17:35 4m 33s
Deploy ppa package (wip)
Deploy ppa package (wip) #29: Manually run by rkaminsk
February 15, 2024 17:24 4m 18s master
February 15, 2024 17:24 4m 18s
Deploy conda packages (wip)
Deploy conda packages (wip) #35: Manually run by rkaminsk
February 15, 2024 17:24 14m 19s master
February 15, 2024 17:24 14m 19s
Build and upload to PyPI
Build and upload to PyPI #12: Manually run by rkaminsk
February 15, 2024 17:24 3m 11s master
February 15, 2024 17:24 3m 11s
update change + bump versions
tests #236: Commit 8c911b1 pushed by rkaminsk
February 15, 2024 17:22 5m 5s master
February 15, 2024 17:22 5m 5s