Skip to content

Actions: msoos/cryptominisat

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bumping version
build #74: Commit 04e4f1e pushed by msoos
February 8, 2024 20:54 4m 53s master
February 8, 2024 20:54 4m 53s
Improving the README
build #73: Commit 2a7b902 pushed by msoos
January 23, 2024 21:58 3m 49s master
January 23, 2024 21:58 3m 49s
Updating build scripts
build #72: Commit 63adb86 pushed by msoos
January 23, 2024 00:31 4m 12s master
January 23, 2024 00:31 4m 12s
Fixing up a bug in gate-based lit removal
build #71: Commit f3e96a8 pushed by msoos
January 23, 2024 00:06 3m 44s master
January 23, 2024 00:06 3m 44s
More XOR fuzzing for TBuddy
build #70: Commit 56afaa1 pushed by msoos
January 22, 2024 21:15 6m 12s master
January 22, 2024 21:15 6m 12s
Updating build_scripts
build #69: Commit b80e09e pushed by msoos
January 18, 2024 00:57 4m 27s master
January 18, 2024 00:57 4m 27s
Fixing up all
build #68: Commit 5bf8d82 pushed by msoos
January 18, 2024 00:55 53s master
January 18, 2024 00:55 53s
Fixing up tbuddy
build #67: Commit e57117d pushed by msoos
January 18, 2024 00:52 46s master
January 18, 2024 00:52 46s
Fixing for new tbuddy
build #66: Commit dd74f7c pushed by msoos
January 18, 2024 00:45 4m 13s master
January 18, 2024 00:45 4m 13s
Update README.markdown
build #65: Commit c76396a pushed by msoos
January 13, 2024 19:50 12m 42s master
January 13, 2024 19:50 12m 42s
Update README.markdown
build #64: Commit f2f05a0 pushed by msoos
January 13, 2024 19:50 8m 38s master
January 13, 2024 19:50 8m 38s
Update binary-build.yml -- no need to install
build #63: Commit c85e996 pushed by msoos
January 13, 2024 19:45 4m 22s master
January 13, 2024 19:45 4m 22s
Update binary-build.yml
build #62: Commit 1e2fd94 pushed by msoos
January 13, 2024 19:40 3m 33s master
January 13, 2024 19:40 3m 33s
Update binary-build.yml -- fix install test
build #61: Commit 9d6ca9d pushed by msoos
January 13, 2024 19:36 2m 33s master
January 13, 2024 19:36 2m 33s
Update binary-build.yml -- install and fix typo
build #60: Commit 0e066dd pushed by msoos
January 13, 2024 19:33 2m 29s master
January 13, 2024 19:33 2m 29s
Update binary-build.yml fixing artifact name
build #59: Commit c8e5211 pushed by msoos
January 13, 2024 19:25 4m 31s master
January 13, 2024 19:25 4m 31s
Update binary-build.yml -- fix artifact names
build #58: Commit 71f8da2 pushed by msoos
January 13, 2024 19:24 1m 46s master
January 13, 2024 19:24 1m 46s
Update binary-build.yml -- fixing Windows artifact location
build #57: Commit 46d3cd4 pushed by msoos
January 13, 2024 19:20 3m 39s master
January 13, 2024 19:20 3m 39s
Update binary-build.yml -- only upload static binaries
build #56: Commit e55c3f3 pushed by msoos
January 13, 2024 19:16 3m 53s master
January 13, 2024 19:16 3m 53s
Update binary-build.yml -- fix Windows artifact upload
build #55: Commit 3c7c23c pushed by msoos
January 13, 2024 19:13 3m 36s master
January 13, 2024 19:13 3m 36s
Updating sha1
build #54: Commit e82d78e pushed by msoos
January 13, 2024 19:09 3m 48s master
January 13, 2024 19:09 3m 48s
Update binary-build.yml
build #53: Commit c04149c pushed by msoos
January 13, 2024 18:58 4m 17s master
January 13, 2024 18:58 4m 17s
Adding argparse
build #52: Commit 176808c pushed by msoos
January 13, 2024 18:58 1m 10s master
January 13, 2024 18:58 1m 10s
Update binary-build.yml for linux build
build #51: Commit cf78197 pushed by msoos
January 13, 2024 18:53 1m 58s master
January 13, 2024 18:53 1m 58s
No need for this
build #50: Commit 1eb7bba pushed by msoos
January 13, 2024 18:46 44s master
January 13, 2024 18:46 44s