Skip to content

Actions: msoos/cryptominisat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better error text build #213: Commit 934f518 pushed by msoos
April 16, 2025 19:56 4m 55s synthesis
synthesis
April 16, 2025 19:56 4m 55s
Update gitignore build #212: Commit dd46acb pushed by msoos
April 5, 2025 12:13 5m 39s synthesis
synthesis
April 5, 2025 12:13 5m 39s
Cleaner cmakelists build #211: Commit 57854a2 pushed by msoos
April 1, 2025 20:18 8m 52s synthesis
synthesis
April 1, 2025 20:18 8m 52s
Some minimimal update build #210: Commit 4f683fb pushed by msoos
April 1, 2025 19:41 5m 19s synthesis
synthesis
April 1, 2025 19:41 5m 19s
Fixing up html build #209: Commit cd19e86 pushed by msoos
March 31, 2025 16:11 4m 39s synthesis
synthesis
March 31, 2025 16:11 4m 39s
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