Skip to content

Actions: msoos/cryptominisat

Actions

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
Merge remote-tracking branch 'refs/remotes/origin/master' Python source package build #77: Commit d7c67c6 pushed by msoos
April 11, 2024 17:07 1m 38s master
master
April 11, 2024 17:07 1m 38s
Merge pull request #749 from antonio-rojas/patch-1 Python source package build #76: Commit c9f7449 pushed by msoos
April 6, 2024 21:06 10m 37s master
master
April 6, 2024 21:06 10m 37s
Merge pull request #749 from antonio-rojas/patch-1 python wheel package build #76: Commit c9f7449 pushed by msoos
April 6, 2024 21:06 22m 15s master
master
April 6, 2024 21:06 22m 15s
Merge pull request #749 from antonio-rojas/patch-1 binary build #76: Commit c9f7449 pushed by msoos
April 6, 2024 21:06 3m 49s master
master
April 6, 2024 21:06 3m 49s
Bumping version number so bosphorus cannot be enabled binary build #75: Commit 4c9a6b6 pushed by msoos
February 8, 2024 21:50 3m 51s master
master
February 8, 2024 21:50 3m 51s
Bumping version number so bosphorus cannot be enabled Python source package build #75: Commit 4c9a6b6 pushed by msoos
February 8, 2024 21:50 10m 30s master
master
February 8, 2024 21:50 10m 30s
Bumping version number so bosphorus cannot be enabled python wheel package build #75: Commit 4c9a6b6 pushed by msoos
February 8, 2024 21:50 22m 43s master
master
February 8, 2024 21:50 22m 43s
Bumping version python wheel package build #74: Commit 04e4f1e pushed by msoos
February 8, 2024 20:54 22m 17s master
master
February 8, 2024 20:54 22m 17s
Bumping version binary build #74: Commit 04e4f1e pushed by msoos
February 8, 2024 20:54 4m 53s master
master
February 8, 2024 20:54 4m 53s
Bumping version Python source package build #74: Commit 04e4f1e pushed by msoos
February 8, 2024 20:54 9m 56s master
master
February 8, 2024 20:54 9m 56s
Improving the README python wheel package build #73: Commit 2a7b902 pushed by msoos
January 23, 2024 21:58 22m 31s master
master
January 23, 2024 21:58 22m 31s
Improving the README Python source package build #73: Commit 2a7b902 pushed by msoos
January 23, 2024 21:58 9m 55s master
master
January 23, 2024 21:58 9m 55s
Improving the README binary build #73: Commit 2a7b902 pushed by msoos
January 23, 2024 21:58 3m 49s master
master
January 23, 2024 21:58 3m 49s
Updating build scripts python wheel package build #72: Commit 63adb86 pushed by msoos
January 23, 2024 00:31 21m 39s master
master
January 23, 2024 00:31 21m 39s
Updating build scripts Python source package build #72: Commit 63adb86 pushed by msoos
January 23, 2024 00:31 10m 37s master
master
January 23, 2024 00:31 10m 37s
Updating build scripts binary build #72: Commit 63adb86 pushed by msoos
January 23, 2024 00:31 4m 12s master
master
January 23, 2024 00:31 4m 12s
Fixing up a bug in gate-based lit removal python wheel package build #71: Commit f3e96a8 pushed by msoos
January 23, 2024 00:06 23m 48s master
master
January 23, 2024 00:06 23m 48s
Fixing up a bug in gate-based lit removal Python source package build #71: Commit f3e96a8 pushed by msoos
January 23, 2024 00:06 10m 1s master
master
January 23, 2024 00:06 10m 1s
Fixing up a bug in gate-based lit removal binary build #71: Commit f3e96a8 pushed by msoos
January 23, 2024 00:06 3m 44s master
master
January 23, 2024 00:06 3m 44s
More XOR fuzzing for TBuddy python wheel package build #70: Commit 56afaa1 pushed by msoos
January 22, 2024 21:15 22m 4s master
master
January 22, 2024 21:15 22m 4s
More XOR fuzzing for TBuddy binary build #70: Commit 56afaa1 pushed by msoos
January 22, 2024 21:15 6m 12s master
master
January 22, 2024 21:15 6m 12s
More XOR fuzzing for TBuddy Python source package build #70: Commit 56afaa1 pushed by msoos
January 22, 2024 21:15 9m 55s master
master
January 22, 2024 21:15 9m 55s
Updating build_scripts binary build #69: Commit b80e09e pushed by msoos
January 18, 2024 00:57 4m 27s master
master
January 18, 2024 00:57 4m 27s
Updating build_scripts Python source package build #69: Commit b80e09e pushed by msoos
January 18, 2024 00:57 10m 25s master
master
January 18, 2024 00:57 10m 25s
Updating build_scripts python wheel package build #69: Commit b80e09e pushed by msoos
January 18, 2024 00:57 20m 33s master
master
January 18, 2024 00:57 20m 33s