Skip to content

Actions: msoos/cryptominisat

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build improvement build #169: Commit 7ca5b5c pushed by msoos
March 3, 2025 21:25 38s synthesis
synthesis
March 3, 2025 21:25 38s
No clash with artifacts build #168: Commit 32dd13b pushed by msoos
March 3, 2025 00:42 7m 35s synthesis
synthesis
March 3, 2025 00:42 7m 35s
Needs synthesis branch build #167: Commit 9786576 pushed by msoos
March 3, 2025 00:28 4m 9s synthesis
synthesis
March 3, 2025 00:28 4m 9s
Update build build #166: Commit 324497a pushed by msoos
March 3, 2025 00:19 2m 36s synthesis
synthesis
March 3, 2025 00:19 2m 36s
Build update build #165: Commit d99aa15 pushed by msoos
March 3, 2025 00:19 11s synthesis
synthesis
March 3, 2025 00:19 11s
no need for these imports build #164: Commit bc2e49b pushed by msoos
February 13, 2025 23:53 5m 2s master
master
February 13, 2025 23:53 5m 2s
Update version build #163: Commit b4ab662 pushed by msoos
February 10, 2025 21:42 6m 18s master
master
February 10, 2025 21:42 6m 18s
Bumping version build #162: Commit b5fab5e pushed by msoos
February 10, 2025 21:39 1m 21s master
master
February 10, 2025 21:39 1m 21s
Update binary-build.yml build #161: Commit b17db92 pushed by msoos
February 10, 2025 21:29 5m 44s master
master
February 10, 2025 21:29 5m 44s
Removing --onlysampling build #160: Commit d1a8153 pushed by msoos
February 10, 2025 21:27 12s master
master
February 10, 2025 21:27 12s
No need build #159: Commit f39cda1 pushed by msoos
January 21, 2025 09:08 5m 19s master
master
January 21, 2025 09:08 5m 19s
Fixing FRAT at least build #158: Commit 97fff65 pushed by msoos
January 21, 2025 09:02 6m 24s master
master
January 21, 2025 09:02 6m 24s
Fixing build build #157: Commit 65c652e pushed by msoos
December 9, 2024 21:36 5m 41s master
master
December 9, 2024 21:36 5m 41s
Allow setting indep set via 'c int' over multiple lines build #156: Commit af3dd36 pushed by msoos
December 9, 2024 21:30 2m 39s master
master
December 9, 2024 21:30 2m 39s
Fixing namespace clash with MiniSat build #155: Commit 7b2b6fa pushed by msoos
October 25, 2024 21:39 5m 33s master
master
October 25, 2024 21:39 5m 33s
Fixinhg HUGE bug with hashing build #154: Commit 2cde4da pushed by msoos
October 25, 2024 19:10 7m 1s master
master
October 25, 2024 19:10 7m 1s
Adding missing header build #153: Commit 9ae58f3 pushed by msoos
October 10, 2024 20:01 8m 0s master
master
October 10, 2024 20:01 8m 0s
Fixing idrup issue build #152: Commit 08d23f9 pushed by msoos
September 28, 2024 09:44 5m 0s master
master
September 28, 2024 09:44 5m 0s
I don't think we need this define build #151: Commit dba1f68 pushed by msoos
September 27, 2024 16:53 7m 25s master
master
September 27, 2024 16:53 7m 25s
One more run build #150: Commit 8531c18 pushed by msoos
July 18, 2024 22:02 7m 7s master
master
July 18, 2024 22:02 7m 7s
Let's try this build #149: Commit 2008d86 pushed by msoos
July 18, 2024 21:58 5m 46s master
master
July 18, 2024 21:58 5m 46s
Let's try building this way build #148: Commit eb40409 pushed by msoos
July 18, 2024 19:20 5m 8s master
master
July 18, 2024 19:20 5m 8s
Let's try it this way build #147: Commit 96523ad pushed by msoos
July 18, 2024 19:05 7m 49s master
master
July 18, 2024 19:05 7m 49s
Adding depends build #146: Commit c4fa8b2 pushed by msoos
July 18, 2024 18:36 1m 37s master
master
July 18, 2024 18:36 1m 37s
Actually build build #145: Commit a8745c3 pushed by msoos
July 18, 2024 18:32 5m 7s master
master
July 18, 2024 18:32 5m 7s