Skip to content

Actions: msoos/cryptominisat

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
483 workflow runs
483 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Sampling vars can only be set once now binary build #119: Commit bdd4677 pushed by msoos
May 4, 2024 19:37 5m 18s master
master
May 4, 2024 19:37 5m 18s
Sampling vars can only be set once now binary build #118: Commit db7d7ce pushed by msoos
May 4, 2024 19:36 4m 50s master
master
May 4, 2024 19:36 4m 50s
Adding spelling fixes by Julien Puydt binary build #117: Commit fd845e4 pushed by msoos
May 4, 2024 17:06 5m 4s master
master
May 4, 2024 17:06 5m 4s
Merge pull request #752 from dimpase/master binary build #116: Commit f32a924 pushed by msoos
April 17, 2024 16:46 5m 7s master
master
April 17, 2024 16:46 5m 7s
No need for this header binary build #115: Commit 14ebd47 pushed by msoos
April 12, 2024 23:15 4m 56s master
master
April 12, 2024 23:15 4m 56s
Update README.markdown binary build #114: Commit 5c2fec6 pushed by msoos
April 12, 2024 03:37 11m 43s master
master
April 12, 2024 03:37 11m 43s
Update README.markdown binary build #113: Commit bc79b23 pushed by msoos
April 12, 2024 03:37 8m 14s master
master
April 12, 2024 03:37 8m 14s
Update README.markdown binary build #112: Commit ad8a4d1 pushed by msoos
April 12, 2024 03:36 9m 18s master
master
April 12, 2024 03:36 9m 18s
Update README.markdown binary build #111: Commit cbb5708 pushed by msoos
April 12, 2024 03:35 8m 26s master
master
April 12, 2024 03:35 8m 26s
Update README.markdown binary build #110: Commit 8934f72 pushed by msoos
April 12, 2024 03:35 5m 16s master
master
April 12, 2024 03:35 5m 16s
Update README.markdown binary build #109: Commit e38699b pushed by msoos
April 12, 2024 03:34 4m 55s master
master
April 12, 2024 03:34 4m 55s
Add zlib for macos binary build #108: Commit 62091d7 pushed by msoos
April 12, 2024 03:18 5m 37s master
master
April 12, 2024 03:18 5m 37s
Update binary-build.yml binary build #107: Commit 42daae3 pushed by msoos
April 12, 2024 02:31 5m 35s master
master
April 12, 2024 02:31 5m 35s
No need for this binary build #106: Commit e3d0bc5 pushed by msoos
April 12, 2024 02:18 4m 52s master
master
April 12, 2024 02:18 4m 52s
Adding include binary build #105: Commit 4ddb02f pushed by msoos
April 12, 2024 01:41 5m 1s master
master
April 12, 2024 01:41 5m 1s
Update binary-build.yml binary build #104: Commit 3c5ad1c pushed by msoos
April 12, 2024 01:38 3m 12s master
master
April 12, 2024 01:38 3m 12s
Update binary-build.yml binary build #103: Commit 8b4a738 pushed by msoos
April 11, 2024 23:52 2m 31s master
master
April 11, 2024 23:52 2m 31s
Update binary-build.yml binary build #102: Commit 0c7da0f pushed by msoos
April 11, 2024 23:45 3m 11s master
master
April 11, 2024 23:45 3m 11s
Update binary-build.yml binary build #101: Commit ef4bf16 pushed by msoos
April 11, 2024 23:37 7m 40s master
master
April 11, 2024 23:37 7m 40s
Update binary-build.yml binary build #100: Commit e1365f2 pushed by msoos
April 11, 2024 23:37 37s master
master
April 11, 2024 23:37 37s
Fixing STATS build binary build #99: Commit ac60015 pushed by msoos
April 11, 2024 23:34 1m 28s master
master
April 11, 2024 23:34 1m 28s
Update binary-build.yml binary build #98: Commit 75e41aa pushed by msoos
April 11, 2024 23:18 1m 20s master
master
April 11, 2024 23:18 1m 20s
Update binary-build.yml binary build #97: Commit df3c4fa pushed by msoos
April 11, 2024 23:17 42s master
master
April 11, 2024 23:17 42s
This is not needed binary build #96: Commit 6d11d2e pushed by msoos
April 11, 2024 23:15 1m 29s master
master
April 11, 2024 23:15 1m 29s
Update binary-build.yml binary build #95: Commit 90a43b5 pushed by msoos
April 11, 2024 23:12 1m 30s master
master
April 11, 2024 23:12 1m 30s