Skip to content

Actions: msoos/cryptominisat

Python source package build

Actions

Loading...

Show workflow options

Create status badge

This workflow was disabled manually.
80 workflow runs
80 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

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
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
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
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
April 6, 2024 21:06 10m 37s
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
February 8, 2024 21:50 10m 30s
Bumping version
Python source package build #74: Commit 04e4f1e pushed by msoos
February 8, 2024 20:54 9m 56s master
February 8, 2024 20:54 9m 56s
Improving the README
Python source package build #73: Commit 2a7b902 pushed by msoos
January 23, 2024 21:58 9m 55s master
January 23, 2024 21:58 9m 55s
Updating build scripts
Python source package build #72: Commit 63adb86 pushed by msoos
January 23, 2024 00:31 10m 37s master
January 23, 2024 00:31 10m 37s
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
January 23, 2024 00:06 10m 1s
More XOR fuzzing for TBuddy
Python source package build #70: Commit 56afaa1 pushed by msoos
January 22, 2024 21:15 9m 55s master
January 22, 2024 21:15 9m 55s
Updating build_scripts
Python source package build #69: Commit b80e09e pushed by msoos
January 18, 2024 00:57 10m 25s master
January 18, 2024 00:57 10m 25s
Fixing up all
Python source package build #68: Commit 5bf8d82 pushed by msoos
January 18, 2024 00:55 9m 52s master
January 18, 2024 00:55 9m 52s
Fixing up tbuddy
Python source package build #67: Commit e57117d pushed by msoos
January 18, 2024 00:52 9m 54s master
January 18, 2024 00:52 9m 54s
Fixing for new tbuddy
Python source package build #66: Commit dd74f7c pushed by msoos
January 18, 2024 00:45 9m 56s master
January 18, 2024 00:45 9m 56s
Update README.markdown
Python source package build #65: Commit c76396a pushed by msoos
January 13, 2024 19:50 9m 58s master
January 13, 2024 19:50 9m 58s
Update README.markdown
Python source package build #64: Commit f2f05a0 pushed by msoos
January 13, 2024 19:50 9m 50s master
January 13, 2024 19:50 9m 50s
Update binary-build.yml -- no need to install
Python source package build #63: Commit c85e996 pushed by msoos
January 13, 2024 19:45 9m 52s master
January 13, 2024 19:45 9m 52s
Update binary-build.yml
Python source package build #62: Commit 1e2fd94 pushed by msoos
January 13, 2024 19:40 9m 57s master
January 13, 2024 19:40 9m 57s
Update binary-build.yml -- fix install test
Python source package build #61: Commit 9d6ca9d pushed by msoos
January 13, 2024 19:36 10m 33s master
January 13, 2024 19:36 10m 33s
Update binary-build.yml -- install and fix typo
Python source package build #60: Commit 0e066dd pushed by msoos
January 13, 2024 19:33 10m 30s master
January 13, 2024 19:33 10m 30s
Update binary-build.yml fixing artifact name
Python source package build #59: Commit c8e5211 pushed by msoos
January 13, 2024 19:25 37s master
January 13, 2024 19:25 37s
Update binary-build.yml -- fix artifact names
Python source package build #58: Commit 71f8da2 pushed by msoos
January 13, 2024 19:24 1m 30s master
January 13, 2024 19:24 1m 30s
Update binary-build.yml -- fixing Windows artifact location
Python source package build #57: Commit 46d3cd4 pushed by msoos
January 13, 2024 19:20 9m 56s master
January 13, 2024 19:20 9m 56s
Update binary-build.yml -- only upload static binaries
Python source package build #56: Commit e55c3f3 pushed by msoos
January 13, 2024 19:16 9m 58s master
January 13, 2024 19:16 9m 58s