Skip to content

Actions: msoos/cryptominisat

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
binary-build.yml
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scripts build #208: Commit 8821dff pushed by msoos
March 30, 2025 10:36 4m 18s synthesis
synthesis
March 30, 2025 10:36 4m 18s
Update build scripts build #207: Commit 6bafc1c pushed by msoos
March 29, 2025 13:24 1m 58s synthesis
synthesis
March 29, 2025 13:24 1m 58s
Let's fix build for emscripten build #206: Commit f7134f4 pushed by msoos
March 29, 2025 12:13 49s synthesis
synthesis
March 29, 2025 12:13 49s
Move gmpz to arjun build #205: Commit 2542bb4 pushed by msoos
March 27, 2025 21:40 4m 23s synthesis
synthesis
March 27, 2025 21:40 4m 23s
Move gmpz to arjun build #204: Commit 5ca19e2 pushed by msoos
March 27, 2025 21:32 5m 32s synthesis
synthesis
March 27, 2025 21:32 5m 32s
Removing NORMAL_CL_USE_STATS build #203: Commit d8cb757 pushed by msoos
March 27, 2025 19:01 3m 44s synthesis
synthesis
March 27, 2025 19:01 3m 44s
Let's get rid of fluff build #202: Commit 7f0ba98 pushed by msoos
March 26, 2025 22:11 5m 7s synthesis
synthesis
March 26, 2025 22:11 5m 7s
No brew build build #201: Commit 2af8fbf pushed by msoos
March 26, 2025 22:08 5m 12s synthesis
synthesis
March 26, 2025 22:08 5m 12s
Build for arm linux too, cleanup build #200: Commit f18ff90 pushed by msoos
March 26, 2025 21:44 5m 20s synthesis
synthesis
March 26, 2025 21:44 5m 20s
Indentation build #199: Commit 36a5439 pushed by msoos
March 23, 2025 18:25 2m 44s synthesis
synthesis
March 23, 2025 18:25 2m 44s
No more tabs build #198: Commit f5c837c pushed by msoos
March 23, 2025 18:24 3m 2s synthesis
synthesis
March 23, 2025 18:24 3m 2s
Fixing version printig build #197: Commit 6d709bb pushed by msoos
March 18, 2025 21:15 4m 7s synthesis
synthesis
March 18, 2025 21:15 4m 7s
Also CadiBack build #196: Commit 8ea0f0c pushed by msoos
March 18, 2025 21:14 3m 42s synthesis
synthesis
March 18, 2025 21:14 3m 42s
More universial printing of SHA1 build #195: Commit e1696e0 pushed by msoos
March 18, 2025 21:00 3m 4s synthesis
synthesis
March 18, 2025 21:00 3m 4s
Not using walksat anymore build #194: Commit d27e72c pushed by msoos
March 18, 2025 20:51 2m 40s synthesis
synthesis
March 18, 2025 20:51 2m 40s
Better version printing build #193: Commit 0427be8 pushed by msoos
March 18, 2025 20:42 2m 39s synthesis
synthesis
March 18, 2025 20:42 2m 39s
Fixing another typo build #192: Commit b4d1e02 pushed by msoos
March 18, 2025 20:28 2m 51s synthesis
synthesis
March 18, 2025 20:28 2m 51s
Fixing typo build #191: Commit 4ecc193 pushed by msoos
March 18, 2025 20:26 2m 47s synthesis
synthesis
March 18, 2025 20:26 2m 47s
Update version info build #190: Commit 191f5af pushed by msoos
March 18, 2025 20:23 2m 53s synthesis
synthesis
March 18, 2025 20:23 2m 53s
flake.lock: Update build #189: Commit 7bafb07 pushed by msoos
March 16, 2025 11:42 2m 41s synthesis
synthesis
March 16, 2025 11:42 2m 41s
Update branch build #188: Commit 82243e4 pushed by msoos
March 16, 2025 11:16 3m 55s synthesis
synthesis
March 16, 2025 11:16 3m 55s
We can now use meelgroup, thanks @itepastra build #187: Commit d8b1865 pushed by msoos
March 16, 2025 11:10 2m 43s synthesis
synthesis
March 16, 2025 11:10 2m 43s
Merge pull request #780 from itepastra/add-flake build #186: Commit a416d26 pushed by msoos
March 16, 2025 11:04 3m 23s synthesis
synthesis
March 16, 2025 11:04 3m 23s
More speed via static_cast build #185: Commit 152445c pushed by msoos
March 16, 2025 10:47 2m 48s synthesis
synthesis
March 16, 2025 10:47 2m 48s
Update gitignore build #183: Commit 7b58aa3 pushed by msoos
March 11, 2025 19:45 2m 55s synthesis
synthesis
March 11, 2025 19:45 2m 55s