Skip to content

Actions: potassco/clasp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
286 workflow runs
286 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add --no-acyc-check option. CI tests #518: Commit 9c4ce79 pushed by BenKaufmann
4m 26s dev-20
dev-20
4m 26s
Relax std::atomic_ref dependency. CI tests #517: Commit 9a244df pushed by BenKaufmann
4m 33s dev-20
dev-20
4m 33s
WIP: Sat-Pre tick stats CI tests #516: Commit 5ce655b pushed by BenKaufmann
6m 5s sat-pre-stats
sat-pre-stats
6m 5s
Simplify Sat-Pre timeout handling. CI tests #515: Commit 0ef3e30 pushed by BenKaufmann
4m 12s dev-20
dev-20
4m 12s
WIP: Sat-Pre tick stats CI tests #514: Commit 20a7ef1 pushed by BenKaufmann
6m 0s sat-pre-stats
sat-pre-stats
6m 0s
Simplify Sat-Pre timeout handling. CI tests #513: Commit c18a4b2 pushed by BenKaufmann
4m 29s dev-20
dev-20
4m 29s
Make lazy watch-list cleanup deterministic CI tests #512: Pull request #123 opened by GregoryGelfond
9h 3m 0s GregoryGelfond:deterministic-lazy-cleanup
GregoryGelfond:deterministic-lazy-cleanup
9h 3m 0s
Enforce the SatElite preprocessing deadline inside the BCE loop CI tests #511: Pull request #121 opened by GregoryGelfond
22h 5m 19s GregoryGelfond:satelite-deadline
GregoryGelfond:satelite-deadline
22h 5m 19s
Batch watch-list cleanup when reducing the learnt database CI tests #510: Pull request #120 opened by GregoryGelfond
52m 54s GregoryGelfond:batch-learnt-reduction
GregoryGelfond:batch-learnt-reduction
52m 54s
Update libpotassco. CI tests #509: Commit 5e2efd1 pushed by BenKaufmann
4m 54s dev-20
dev-20
4m 54s
Update libpotassco. CI tests #508: Commit aadeb7a pushed by BenKaufmann
4m 25s dev-20
dev-20
4m 25s
Update libpotassco. CI tests #507: Commit 5a2d076 pushed by BenKaufmann
4m 24s dev-20
dev-20
4m 24s
Update libpotassco. CI tests #506: Commit 4e69c2c pushed by BenKaufmann
4m 12s dev-20
dev-20
4m 12s
Drop redundant ClauseWatch type. CI tests #505: Commit 558bb39 pushed by BenKaufmann
49m 21s dev-20
dev-20
49m 21s
Add github action for running clang-20 with libc++. CI tests #504: Commit 3c91bef pushed by BenKaufmann
5m 13s dev-20
dev-20
5m 13s
WIP CI tests #503: Commit dc12ad0 pushed by BenKaufmann
3m 59s dev-20-libc++
dev-20-libc++
3m 59s
WIP CI tests #502: Commit e7bc92d pushed by BenKaufmann
6m 20s dev-20-libc++
dev-20-libc++
6m 20s
Switch to clang-20 in github action. CI tests #501: Commit 5ab1af9 pushed by BenKaufmann
4m 21s dev-20
dev-20
4m 21s
Switch to clang-20 in github action. CI tests #500: Commit d30d0b0 pushed by BenKaufmann
4m 42s dev-20
dev-20
4m 42s
Add missing <exception> header. CI tests #499: Commit bc5f983 pushed by BenKaufmann
4m 38s dev-20
dev-20
4m 38s
WIP: prefetch CI tests #498: Commit 3b4f1c5 pushed by BenKaufmann
4m 7s no-lr
no-lr
4m 7s
Fix warnings. CI tests #497: Commit 2ddfd15 pushed by BenKaufmann
4m 4s dev-20
dev-20
4m 4s
Add addExternal() overload for Potassco::TruthValue. CI tests #496: Commit 01cf946 pushed by BenKaufmann
4m 20s dev-20
dev-20
4m 20s
Add (incomplete) list of changes in dev-20. CI tests #495: Commit 5d0d316 pushed by BenKaufmann
4m 34s dev-20
dev-20
4m 34s
WIP: Dedicated WatchList CI tests #494: Commit 110deb2 pushed by BenKaufmann
4m 19s temp
temp
4m 19s