Skip to content

Actions: msoos/cryptominisat

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
407 workflow runs
407 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload tarball too
binary build #137: Commit 6b65bdd pushed by msoos
July 14, 2024 14:29 5m 33s master
July 14, 2024 14:29 5m 33s
Upload tarball too
python wheel package build #89: Commit 6b65bdd pushed by msoos
July 14, 2024 14:29 17m 36s master
July 14, 2024 14:29 17m 36s
Let's try to just build
python wheel package build #88: Commit ad7cdcc pushed by msoos
July 14, 2024 14:06 17m 48s master
July 14, 2024 14:06 17m 48s
Let's try to just build
binary 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
binary build #135: Commit c435d7d pushed by msoos
July 14, 2024 14:03 5m 2s master
July 14, 2024 14:03 5m 2s
Run configure separately
python wheel package build #87: Commit c435d7d pushed by msoos
July 14, 2024 14:03 15s master
July 14, 2024 14:03 15s
Fixing run configure
binary build #134: Commit 1c4c55a pushed by msoos
July 14, 2024 13:43 7m 27s master
July 14, 2024 13:43 7m 27s
Fixing run configure
python wheel package build #86: Commit 1c4c55a pushed by msoos
July 14, 2024 13:43 Failure master
July 14, 2024 13:43 Failure
Running configure
python wheel package build #85: Commit bc1f226 pushed by msoos
July 14, 2024 13:30 2m 59s master
July 14, 2024 13:30 2m 59s
Running configure
binary 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
binary build #132: Commit 5f2e1d4 pushed by msoos
July 14, 2024 13:07 5m 17s master
July 14, 2024 13:07 5m 17s
Build only on ubuntu
python wheel package build #84: Commit 5f2e1d4 pushed by msoos
July 14, 2024 13:07 3m 0s master
July 14, 2024 13:07 3m 0s
Upping cibuildwheel, adding gmp devel
binary build #131: Commit 85062e0 pushed by msoos
July 14, 2024 13:03 5m 40s master
July 14, 2024 13:03 5m 40s
Upping cibuildwheel, adding gmp devel
python wheel package build #83: Commit 85062e0 pushed by msoos
July 14, 2024 13:03 2m 11s master
July 14, 2024 13:03 2m 11s
No need for these libs
binary build #130: Commit 6dfcf27 pushed by msoos
July 14, 2024 12:52 5m 23s master
July 14, 2024 12:52 5m 23s
No need for these libs
python wheel package build #82: Commit 6dfcf27 pushed by msoos
July 14, 2024 12:52 1m 4s master
July 14, 2024 12:52 1m 4s
Trying to make a package
python wheel package build #81: Commit 0cec63d pushed by msoos
July 14, 2024 12:48 1m 6s master
July 14, 2024 12:48 1m 6s
Trying to make a package
binary build #129: Commit 0cec63d pushed by msoos
July 14, 2024 12:48 5m 17s master
July 14, 2024 12:48 5m 17s
Bumping version
binary build #128: Commit e40af02 pushed by msoos
July 14, 2024 11:21 5m 24s master
July 14, 2024 11:21 5m 24s
Bumping version
binary build #127: Commit 8c26550 pushed by msoos
July 13, 2024 20:13 5m 54s master
July 13, 2024 20:13 5m 54s
Fixing bug
binary 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
binary build #125: Commit 4d88939 pushed by msoos
July 10, 2024 16:53 9m 0s master
July 10, 2024 16:53 9m 0s
Fixing memory being used too much
binary build #124: Commit ffcf4e0 pushed by msoos
July 8, 2024 02:59 7m 22s master
July 8, 2024 02:59 7m 22s
This bug should have triggered earlier...
binary build #123: Commit b735c94 pushed by msoos
June 13, 2024 18:48 6m 9s master
June 13, 2024 18:48 6m 9s
Merge pull request #756 from orlitzky/fix-unistd-include
binary build #122: Commit 03d246e pushed by msoos
June 12, 2024 15:06 8m 30s master
June 12, 2024 15:06 8m 30s