Skip to content

Actions: meelgroup/cadical

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 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
Adding notest build #16: Commit ade472d pushed by msoos
14m 57s master
master
14m 57s
Expose conflict count via Solver::conflicts() build #15: Commit 32e0beb pushed by msoos
1m 58s master
master
1m 58s
Fix build build #14: Commit 3e2f46a pushed by msoos
1m 13s master
master
1m 13s
Update build build #13: Commit 1fca37f pushed by msoos
4m 15s master
master
4m 15s
Fixing build build #12: Commit 39c7bb2 pushed by msoos
1m 45s master
master
1m 45s
Fix cadical cmake build #11: Commit 367c8c0 pushed by msoos
53s master
master
53s
Fixing build scripts build #10: Commit 7374f93 pushed by msoos
55s master
master
55s
update nix build #9: Commit 1652f66 pushed by msoos
1m 2s master
master
1m 2s
No unlocked IO on windows build #8: Commit b853326 pushed by msoos
1m 28s master
master
1m 28s
No closefrom build #7: Commit aa777bc pushed by msoos
2m 32s master
master
2m 32s
Update GitHub Actions workflow to use CMake build system build #6: Commit 4fdb96e pushed by msoos
1m 8s master
master
1m 8s
Update all to use cmake build #5: Commit 9343a42 pushed by msoos
30s master
master
30s
Fix cross build build #4: Commit 39ecab5 pushed by msoos
45s master
master
45s
Use ccache build #3: Commit aed878a pushed by msoos
3m 0s master
master
3m 0s
Fix build build #2: Commit 800649e pushed by msoos
1m 50s master
master
1m 50s
Build and upload artifact, for all supported architectures build #1: Commit b9db248 pushed by msoos
1m 0s master
master
1m 0s