Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: potassco/clingo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
409 workflow runs
409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refine further CI #905: Commit 79f9e32 pushed by rkaminsk
31m 48s wip-20
wip-20
31m 48s
add small script to plot results CI #904: Commit 8173ed7 pushed by rkaminsk
33m 43s wip-20
wip-20
33m 43s
refine benchmark scripts CI #903: Commit 4e563fd pushed by rkaminsk
34m 38s wip-20
wip-20
34m 38s
Merge pull request #578 from potassco/integrate-clasp CI #902: Commit 7092b4f pushed by rkaminsk
32m 7s wip-20
wip-20
32m 7s
Update clasp. CI #901: Pull request #578 synchronize by BenKaufmann
34m 6s integrate-clasp
integrate-clasp
34m 6s
Update clasp. CI #900: Pull request #578 synchronize by BenKaufmann
34m 32s integrate-clasp
integrate-clasp
34m 32s
Update clasp. CI #899: Pull request #578 opened by BenKaufmann
35m 5s integrate-clasp
integrate-clasp
35m 5s
refine benchmarks CI #898: Commit 543999a pushed by rkaminsk
34m 54s wip-20
wip-20
34m 54s
benchmark different malloc implementations CI #897: Commit b1e1e9f pushed by rkaminsk
32m 59s wip-20
wip-20
32m 59s
simplify setup CI #896: Commit c267a12 pushed by rkaminsk
35m 33s wip-20
wip-20
35m 33s
add pgo for gcc CI #895: Commit f396bd3 pushed by rkaminsk
33m 30s wip-20
wip-20
33m 30s
start working on benchmark infrastructure CI #894: Commit 49612b8 pushed by rkaminsk
32m 13s wip-20
wip-20
32m 13s
Merge pull request #577 from potassco/bug/reg-min CI #893: Commit b35fb77 pushed by rkaminsk
31m 17s wip-20
wip-20
31m 17s
Cloudsmith Cloudsmith #19: Manually run by rkaminsk
19m 40s bug/reg-min
bug/reg-min
19m 40s
Ubuntu PPA Ubuntu PPA #10: Manually run by rkaminsk
17m 50s bug/reg-min
bug/reg-min
17m 50s
PyPI PyPI #51: Manually run by rkaminsk
1h 34m 14s bug/reg-min
bug/reg-min
1h 34m 14s
Conda Conda #79: Manually run by rkaminsk
39m 35s bug/reg-min
bug/reg-min
39m 35s
add failing test case for min recursive min aggregate CI #892: Pull request #577 synchronize by rkaminsk
33m 53s bug/reg-min
bug/reg-min
33m 53s
add failing test case for min recursive min aggregate CI #891: Pull request #577 synchronize by rkaminsk
32m 30s bug/reg-min
bug/reg-min
32m 30s
add failing test case for min recursive min aggregate CI #890: Pull request #577 opened by rkaminsk
32m 24s bug/reg-min
bug/reg-min
32m 24s
run clang-tidy CI #889: Commit a899e2e pushed by rkaminsk
30m 42s wip-20
wip-20
30m 42s
polish CI #888: Commit e0e5cb5 pushed by rkaminsk
33m 14s wip-20
wip-20
33m 14s
update readme CI #887: Commit fb8804d pushed by rkaminsk
33m 11s wip-20
wip-20
33m 11s
Merge pull request #573 from potassco/cloudsmith CI #886: Commit c14c86e pushed by rkaminsk
33m 16s wip-20
wip-20
33m 16s
Cloudsmith Cloudsmith #18: Manually run by rkaminsk
19m 57s cloudsmith
cloudsmith
19m 57s