Skip to content

Actions: msoos/cryptominisat

All workflows

Actions

Loading...

Showing runs from all workflows
477 workflow runs
477 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Fixing building with cadiback
binary build #94: Commit 3c87405 pushed by msoos
April 11, 2024 23:07 1m 41s master
April 11, 2024 23:07 1m 41s
Update binary-build.yml
binary build #93: Commit f7abc42 pushed by msoos
April 11, 2024 22:56 1m 12s master
April 11, 2024 22:56 1m 12s
Update binary-build.yml
binary build #92: Commit 78a881c pushed by msoos
April 11, 2024 22:52 1m 20s master
April 11, 2024 22:52 1m 20s
Update binary-build.yml
binary build #91: Commit db5145b pushed by msoos
April 11, 2024 22:49 1m 14s master
April 11, 2024 22:49 1m 14s
Update binary-build.yml
binary build #90: Commit 0c624fd pushed by msoos
April 11, 2024 22:46 1m 10s master
April 11, 2024 22:46 1m 10s
Merge pull request #750 from arijitsh/patch-1
binary build #89: Commit b5618f4 pushed by msoos
April 11, 2024 22:43 1m 16s master
April 11, 2024 22:43 1m 16s
Update binary-build.yml
binary build #88: Commit e319c56 pushed by msoos
April 11, 2024 22:42 1m 13s master
April 11, 2024 22:42 1m 13s
Update binary-build.yml
binary build #87: Commit eb40656 pushed by msoos
April 11, 2024 21:15 1m 11s master
April 11, 2024 21:15 1m 11s
Update binary-build.yml
binary build #86: Commit b357c23 pushed by msoos
April 11, 2024 21:14 Startup failure master
April 11, 2024 21:14 Startup failure
Update binary-build.yml
binary build #85: Commit dab0677 pushed by msoos
April 11, 2024 21:05 1m 6s master
April 11, 2024 21:05 1m 6s
Update binary-build.yml
binary build #84: Commit 6f91ff7 pushed by msoos
April 11, 2024 21:01 1m 11s master
April 11, 2024 21:01 1m 11s
Update binary-build.yml
binary build #83: Commit 72ebce5 pushed by msoos
April 11, 2024 21:00 1m 7s master
April 11, 2024 21:00 1m 7s
Update binary-build.yml
binary build #82: Commit 751428a pushed by msoos
April 11, 2024 20:58 1m 2s master
April 11, 2024 20:58 1m 2s
Updating lingeling
binary build #81: Commit 4737eb6 pushed by msoos
April 11, 2024 20:50 1m 13s master
April 11, 2024 20:50 1m 13s
Update binary-build.yml
Python source package build #80: Commit d1a51c9 pushed by msoos
April 11, 2024 19:37 1m 58s master
April 11, 2024 19:37 1m 58s
Update binary-build.yml
binary build #80: Commit d1a51c9 pushed by msoos
April 11, 2024 19:37 1m 25s master
April 11, 2024 19:37 1m 25s
Update binary-build.yml
python wheel package build #80: Commit d1a51c9 pushed by msoos
April 11, 2024 19:37 1m 16s master
April 11, 2024 19:37 1m 16s
Update binary-build.yml
binary build #79: Commit b96f13d pushed by msoos
April 11, 2024 19:34 1m 3s master
April 11, 2024 19:34 1m 3s
Update binary-build.yml
python wheel package build #79: Commit b96f13d pushed by msoos
April 11, 2024 19:34 1m 14s master
April 11, 2024 19:34 1m 14s
Update binary-build.yml
Python source package build #79: Commit b96f13d pushed by msoos
April 11, 2024 19:34 1m 33s master
April 11, 2024 19:34 1m 33s
Fixing location of cadiback header
Python source package build #78: Commit 0d7abac pushed by msoos
April 11, 2024 19:31 1m 35s master
April 11, 2024 19:31 1m 35s
Fixing location of cadiback header
python wheel package build #78: Commit 0d7abac pushed by msoos
April 11, 2024 19:31 1m 5s master
April 11, 2024 19:31 1m 5s
Fixing location of cadiback header
binary build #78: Commit 0d7abac pushed by msoos
April 11, 2024 19:31 43s master
April 11, 2024 19:31 43s
Merge remote-tracking branch 'refs/remotes/origin/master'
binary build #77: Commit d7c67c6 pushed by msoos
April 11, 2024 17:07 45s master
April 11, 2024 17:07 45s
Merge remote-tracking branch 'refs/remotes/origin/master'
python wheel package build #77: Commit d7c67c6 pushed by msoos
April 11, 2024 17:07 1m 13s master
April 11, 2024 17:07 1m 13s