Skip to content

Actions: potassco/clingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow runs
202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy conda packages (wip) Deploy conda packages (wip) #128: Manually run by rkaminsk
October 1, 2023 13:08 28m 46s wip
wip
October 1, 2023 13:08 28m 46s
Deploy ppa package (wip) Deploy ppa package (wip) #124: Manually run by rkaminsk
October 1, 2023 13:08 10m 28s wip
wip
October 1, 2023 13:08 10m 28s
update clasp CI tests #545: Commit ed303aa pushed by rkaminsk
October 1, 2023 13:07 18m 1s wip
wip
October 1, 2023 13:07 18m 1s
Merge branch 'master' into wip CI tests #544: Commit adc4e6f pushed by rkaminsk
September 29, 2023 15:01 16m 45s wip
wip
September 29, 2023 15:01 16m 45s
Merge pull request #456 from potassco/fix/static CI tests #543: Commit b2c32ef pushed by rkaminsk
September 29, 2023 14:59 18m 25s wip
wip
September 29, 2023 14:59 18m 25s
Merge pull request #455 from potassco/fix/typehints CI tests #542: Commit 469ae65 pushed by rkaminsk
September 29, 2023 14:49 19m 2s wip
wip
September 29, 2023 14:49 19m 2s
fix install targets when linking statically CI tests #541: Pull request #456 opened by rkaminsk
September 29, 2023 14:49 20m 12s fix/static
fix/static
September 29, 2023 14:49 20m 12s
fix type hints CI tests #540: Pull request #455 opened by rkaminsk
September 29, 2023 14:21 23m 50s fix/typehints
fix/typehints
September 29, 2023 14:21 23m 50s
Merge pull request #452 from potassco/fix/site CI tests #539: Commit ba5ec69 pushed by rkaminsk
September 27, 2023 23:23 17m 26s wip
wip
September 27, 2023 23:23 17m 26s
Build and upload to PyPI Build and upload to PyPI #40: Manually run by rkaminsk
September 27, 2023 17:39 4h 13m 38s fix/site
fix/site
September 27, 2023 17:39 4h 13m 38s
fix site helper script CI tests #538: Pull request #452 synchronize by rkaminsk
September 27, 2023 17:39 22m 22s fix/site
fix/site
September 27, 2023 17:39 22m 22s
Deploy conda packages (wip) Deploy conda packages (wip) #127: Manually run by rkaminsk
September 27, 2023 17:39 33m 11s fix/site
fix/site
September 27, 2023 17:39 33m 11s
Deploy ppa package (wip) Deploy ppa package (wip) #123: Manually run by rkaminsk
September 27, 2023 17:39 11m 40s fix/site
fix/site
September 27, 2023 17:39 11m 40s
Build and upload to PyPI Build and upload to PyPI #39: Manually run by rkaminsk
September 27, 2023 17:30 2m 22s fix/site
fix/site
September 27, 2023 17:30 2m 22s
Deploy conda packages (wip) Deploy conda packages (wip) #126: Manually run by rkaminsk
September 27, 2023 17:30 7m 20s fix/site
fix/site
September 27, 2023 17:30 7m 20s
Deploy ppa package (wip) Deploy ppa package (wip) #122: Manually run by rkaminsk
September 27, 2023 17:30 7m 24s fix/site
fix/site
September 27, 2023 17:30 7m 24s
fix site helper script CI tests #537: Pull request #452 opened by rkaminsk
September 27, 2023 17:30 8m 15s fix/site
fix/site
September 27, 2023 17:30 8m 15s
update clasp CI tests #536: Commit cb7dc07 pushed by rkaminsk
September 12, 2023 07:29 18m 10s wip
wip
September 12, 2023 07:29 18m 10s
Build and upload to PyPI Build and upload to PyPI #38: Manually run by rkaminsk
August 12, 2023 14:05 3h 5m 9s wip
wip
August 12, 2023 14:05 3h 5m 9s
Deploy conda packages (wip) Deploy conda packages (wip) #125: Manually run by rkaminsk
August 12, 2023 14:05 32m 18s wip
wip
August 12, 2023 14:05 32m 18s
Deploy ppa package (wip) Deploy ppa package (wip) #121: Manually run by rkaminsk
August 12, 2023 14:05 8m 51s wip
wip
August 12, 2023 14:05 8m 51s
Merge pull request #449 from haampie/fix/hide-symbols CI tests #535: Commit ec6b69b pushed by rkaminsk
August 12, 2023 13:56 17m 25s wip
wip
August 12, 2023 13:56 17m 25s
Hide more symbols in ELF shared libs CI tests #534: Pull request #449 opened by haampie
August 12, 2023 13:53 16m 22s haampie:fix/hide-symbols
haampie:fix/hide-symbols
August 12, 2023 13:53 16m 22s
Merge pull request #448 from potassco/revert-447-fix/hide-symbols CI tests #533: Commit ec2c706 pushed by rkaminsk
August 12, 2023 13:47 29m 11s master
master
August 12, 2023 13:47 29m 11s
Revert "Hide more symbols in ELF shared libs" CI tests #532: Pull request #448 opened by rkaminsk
August 12, 2023 13:47 16m 42s revert-447-fix/hide-symbols
revert-447-fix/hide-symbols
August 12, 2023 13:47 16m 42s