Skip to content

Actions: msoos/cryptominisat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
775 workflow runs
775 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add testing for assumptions nix build #255: Commit 13d8806 pushed by msoos
1m 50s master
master
1m 50s
Add testing for assumptions build #555: Commit 13d8806 pushed by msoos
6m 10s master
master
6m 10s
Add testing for assumptions Build and publish Python wheels #137: Commit 13d8806 pushed by msoos
15m 53s master
master
15m 53s
Better checking of the assumps file nix build #254: Commit bf719bb pushed by msoos
1m 45s master
master
1m 45s
Better checking of the assumps file Build and publish Python wheels #136: Commit bf719bb pushed by msoos
15m 58s master
master
15m 58s
Better checking of the assumps file build #554: Commit bf719bb pushed by msoos
5m 12s master
master
5m 12s
Fix issue with privilege needed in Windows for build nix build #253: Commit 2e0045d pushed by msoos
1m 50s master
master
1m 50s
Fix issue with privilege needed in Windows for build Build and publish Python wheels #135: Commit 2e0045d pushed by msoos
15m 49s master
master
15m 49s
Fix issue with privilege needed in Windows for build build #553: Commit 2e0045d pushed by msoos
5m 44s master
master
5m 44s
Bump version to 5.14.7 release #9: Commit 3c8e228 pushed by msoos
23m 31s release/v5.14.7
release/v5.14.7
23m 31s
Bump version to 5.14.7 Build and publish Python wheels #134: Commit 3c8e228 pushed by msoos
28m 9s release/v5.14.7
release/v5.14.7
28m 9s
Graph Update: pip in /. #1437006888 Dependency Graph #6: by dependabot Bot
3m 24s master
master
3m 24s
Bump version to 5.14.7 Build and publish Python wheels #133: Commit 3c8e228 pushed by msoos
29m 24s master
master
29m 24s
Bump version to 5.14.7 nix build #252: Commit 3c8e228 pushed by msoos
1m 32s master
master
1m 32s
Bump version to 5.14.7 build #552: Commit 3c8e228 pushed by msoos
23m 54s master
master
23m 54s
Graph Update: pip in /. #1437006257 Dependency Graph #5: by dependabot Bot
1m 41s master
master
1m 41s
Add windows build (#833) Build and publish Python wheels #132: Commit d51395d pushed by msoos
17m 29s master
master
17m 29s
Add windows build (#833) build #551: Commit d51395d pushed by msoos
16m 16s master
master
16m 16s
Add windows build (#833) nix build #251: Commit d51395d pushed by msoos
1m 43s master
master
1m 43s
Add windows build Build and publish Python wheels #131: Pull request #833 synchronize by msoos
16m 37s add-python-windows-wheel
add-python-windows-wheel
16m 37s
Add windows build build #550: Pull request #833 synchronize by msoos
4m 59s add-python-windows-wheel
add-python-windows-wheel
4m 59s
Add windows build nix build #250: Pull request #833 synchronize by msoos
1m 43s add-python-windows-wheel
add-python-windows-wheel
1m 43s
Add windows build build #549: Pull request #833 synchronize by msoos
7m 44s add-python-windows-wheel
add-python-windows-wheel
7m 44s
Add windows build Build and publish Python wheels #130: Pull request #833 synchronize by msoos
14m 2s add-python-windows-wheel
add-python-windows-wheel
14m 2s
Add windows build nix build #249: Pull request #833 synchronize by msoos
1m 54s add-python-windows-wheel
add-python-windows-wheel
1m 54s