Skip to content

Actions: msoos/cryptominisat

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Let's try this
build #149: Commit 2008d86 pushed by msoos
July 18, 2024 21:58 5m 46s 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
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
July 18, 2024 19:05 7m 49s
Adding depends
build #146: Commit c4fa8b2 pushed by msoos
July 18, 2024 18:36 1m 37s 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
July 18, 2024 18:32 5m 7s
Trying to fix python build
build #144: Commit 4dee958 pushed by msoos
July 18, 2024 18:23 5m 11s master
July 18, 2024 18:23 5m 11s
Forgot these files
build #143: Commit 95232a7 pushed by msoos
July 14, 2024 23:18 5m 16s master
July 14, 2024 23:18 5m 16s
Update binary-build.yml
build #142: Commit 42b2c75 pushed by msoos
July 14, 2024 17:51 5m 51s master
July 14, 2024 17:51 5m 51s
Update binary-build.yml
build #141: Commit 56f5cf6 pushed by msoos
July 14, 2024 17:48 1m 39s master
July 14, 2024 17:48 1m 39s
Update README.markdown
build #140: Commit e518397 pushed by msoos
July 14, 2024 17:45 5m 42s master
July 14, 2024 17:45 5m 42s
Hmmmm tarball not being generated
build #139: Commit 1f34060 pushed by msoos
July 14, 2024 14:48 4m 49s master
July 14, 2024 14:48 4m 49s
Only libgmp is needed
build #138: Commit 5a30185 pushed by msoos
July 14, 2024 14:37 5m 3s master
July 14, 2024 14:37 5m 3s
Upload tarball too
build #137: Commit 6b65bdd pushed by msoos
July 14, 2024 14:29 5m 33s master
July 14, 2024 14:29 5m 33s
Let's try to just build
build #136: Commit ad7cdcc pushed by msoos
July 14, 2024 14:06 5m 19s master
July 14, 2024 14:06 5m 19s
Run configure separately
build #135: Commit c435d7d pushed by msoos
July 14, 2024 14:03 5m 2s master
July 14, 2024 14:03 5m 2s
Fixing run configure
build #134: Commit 1c4c55a pushed by msoos
July 14, 2024 13:43 7m 27s master
July 14, 2024 13:43 7m 27s
Running configure
build #133: Commit bc1f226 pushed by msoos
July 14, 2024 13:30 5m 21s master
July 14, 2024 13:30 5m 21s
Build only on ubuntu
build #132: Commit 5f2e1d4 pushed by msoos
July 14, 2024 13:07 5m 17s master
July 14, 2024 13:07 5m 17s
Upping cibuildwheel, adding gmp devel
build #131: Commit 85062e0 pushed by msoos
July 14, 2024 13:03 5m 40s master
July 14, 2024 13:03 5m 40s
No need for these libs
build #130: Commit 6dfcf27 pushed by msoos
July 14, 2024 12:52 5m 23s master
July 14, 2024 12:52 5m 23s
Trying to make a package
build #129: Commit 0cec63d pushed by msoos
July 14, 2024 12:48 5m 17s master
July 14, 2024 12:48 5m 17s
Bumping version
build #128: Commit e40af02 pushed by msoos
July 14, 2024 11:21 5m 24s master
July 14, 2024 11:21 5m 24s
Bumping version
build #127: Commit 8c26550 pushed by msoos
July 13, 2024 20:13 5m 54s master
July 13, 2024 20:13 5m 54s
Fixing bug
build #126: Commit 2dbf2eb pushed by msoos
July 13, 2024 20:05 4m 56s master
July 13, 2024 20:05 4m 56s
Merge pull request #762 from deepeshchugh/master
build #125: Commit 4d88939 pushed by msoos
July 10, 2024 16:53 9m 0s master
July 10, 2024 16:53 9m 0s