Skip to content

Actions: msoos/cryptominisat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
390 workflow runs
390 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing build binary 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 binary 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 binary 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 binary 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 binary 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 binary 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 binary build #151: Commit dba1f68 pushed by msoos
September 27, 2024 16:53 7m 25s master
master
September 27, 2024 16:53 7m 25s
No more clang-tidy python wheel package build #123: Commit e94ca11 pushed by msoos
September 27, 2024 16:46 1m 27s master
master
September 27, 2024 16:46 1m 27s
Fix version printing with -v python wheel package build #122: Commit eca491b pushed by msoos
September 27, 2024 16:45 2m 33s master
master
September 27, 2024 16:45 2m 33s
Fixing version printing python wheel package build #121: Commit 1705587 pushed by msoos
September 27, 2024 16:44 2m 24s master
master
September 27, 2024 16:44 2m 24s
Fixing solution counting python wheel package build #120: Commit 4c779cb pushed by msoos
September 27, 2024 15:45 2m 19s master
master
September 27, 2024 15:45 2m 19s
Merge pull request #769 from m-fleury/idrup python wheel package build #119: Commit 78c852e pushed by msoos
August 29, 2024 19:26 2m 28s master
master
August 29, 2024 19:26 2m 28s
Merge pull request #768 from cions/remove-bind1st python wheel package build #118: Commit f5969f2 pushed by msoos
August 28, 2024 23:13 17m 58s master
master
August 28, 2024 23:13 17m 58s
Trying tp fix dependency issue python wheel package build #117: Commit 9f5dc0e pushed by msoos
July 19, 2024 22:47 18m 32s master
master
July 19, 2024 22:47 18m 32s
No need for glibc-devel python wheel package build #116: Commit 21f0ac5 pushed by msoos
July 19, 2024 22:31 16m 12s master
master
July 19, 2024 22:31 16m 12s
This auditwheel does nothing python wheel package build #115: Commit 9f88e93 pushed by msoos
July 19, 2024 22:26 18m 50s master
master
July 19, 2024 22:26 18m 50s
YML is annoying python wheel package build #114: Commit 33285d3 pushed by msoos
July 19, 2024 20:18 19m 4s master
master
July 19, 2024 20:18 19m 4s
Fixing typo python wheel package build #113: Commit 72be9b0 pushed by msoos
July 19, 2024 20:16 1m 13s master
master
July 19, 2024 20:16 1m 13s
Let's fix Ubuntu python wheel package build #112: Commit df32cae pushed by msoos
July 19, 2024 20:13 1m 11s master
master
July 19, 2024 20:13 1m 11s
Install wget python wheel package build #111: Commit 9ba00ab pushed by msoos
July 19, 2024 20:08 1m 37s master
master
July 19, 2024 20:08 1m 37s
Let's try auditwheel to repair dependencies python wheel package build #110: Commit 2ddf5f4 pushed by msoos
July 18, 2024 23:16 17h 36m 19s master
master
July 18, 2024 23:16 17h 36m 19s
python wheel package build python wheel package build #109: by msoos
July 18, 2024 23:12 17h 40m 45s master
master
July 18, 2024 23:12 17h 40m 45s
Let's run it on mac python wheel package build #108: Commit 96b2a7a pushed by msoos
July 18, 2024 22:52 18h 0m 17s master
master
July 18, 2024 22:52 18h 0m 17s
No sudo python wheel package build #107: Commit 1ac3616 pushed by msoos
July 18, 2024 22:36 19m 12s master
master
July 18, 2024 22:36 19m 12s
Fixing name python wheel package build #106: Commit f56f6f3 pushed by msoos
July 18, 2024 22:33 1m 39s master
master
July 18, 2024 22:33 1m 39s