Skip to content

Actions: msoos/cryptominisat

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow run results
21 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updating version
Python package build #88: Commit e566b36 pushed by msoos
August 11, 2023 20:28 13m 14s 5.11.12
August 11, 2023 20:28 13m 14s
Updating version
build #249: Commit e566b36 pushed by msoos
August 11, 2023 20:28 5m 58s 5.11.12
August 11, 2023 20:28 5m 58s
Updating version
better-python-build #48: Commit e566b36 pushed by msoos
August 11, 2023 20:28 44m 22s 5.11.12
August 11, 2023 20:28 44m 22s
Updating version
build #248: Commit e566b36 pushed by msoos
August 11, 2023 20:27 6m 10s master
August 11, 2023 20:27 6m 10s
Updating version
better-python-build #47: Commit e566b36 pushed by msoos
August 11, 2023 20:27 37m 27s master
August 11, 2023 20:27 37m 27s
Updating version
Python package build #87: Commit e566b36 pushed by msoos
August 11, 2023 20:27 14m 53s master
August 11, 2023 20:27 14m 53s
Using newer ipasir header
Python package build #86: Commit 8146478 pushed by msoos
August 3, 2023 18:30 12m 48s master
August 3, 2023 18:30 12m 48s
Using newer ipasir header
build #247: Commit 8146478 pushed by msoos
August 3, 2023 18:30 5m 49s master
August 3, 2023 18:30 5m 49s
Using newer ipasir header
better-python-build #46: Commit 8146478 pushed by msoos
August 3, 2023 18:30 36m 48s master
August 3, 2023 18:30 36m 48s
Adding printf to example for the fun
build #246: Commit 26d4d4d pushed by msoos
August 1, 2023 21:04 6m 22s master
August 1, 2023 21:04 6m 22s
Adding printf to example for the fun
better-python-build #45: Commit 26d4d4d pushed by msoos
August 1, 2023 21:04 51m 29s master
August 1, 2023 21:04 51m 29s
Adding printf to example for the fun
Python package build #85: Commit 26d4d4d pushed by msoos
August 1, 2023 21:04 12m 26s master
August 1, 2023 21:04 12m 26s
Adding IPASIR support flags
better-python-build #44: Commit f56a8f6 pushed by msoos
August 1, 2023 18:21 48m 53s master
August 1, 2023 18:21 48m 53s
Adding IPASIR support flags
build #245: Commit f56a8f6 pushed by msoos
August 1, 2023 18:21 6m 2s master
August 1, 2023 18:21 6m 2s
Adding IPASIR support flags
Python package build #84: Commit f56a8f6 pushed by msoos
August 1, 2023 18:21 12m 50s master
August 1, 2023 18:21 12m 50s
Better seed setup
Python package build #83: Commit d8e930e pushed by msoos
July 17, 2023 21:37 15m 30s master
July 17, 2023 21:37 15m 30s
Better seed setup
better-python-build #43: Commit d8e930e pushed by msoos
July 17, 2023 21:37 36m 20s master
July 17, 2023 21:37 36m 20s
Better seed setup
build #244: Commit d8e930e pushed by msoos
July 17, 2023 21:37 5m 44s master
July 17, 2023 21:37 5m 44s
Fixing issue with incorrect comment
build #243: Commit f516edf pushed by msoos
July 10, 2023 22:50 5m 39s master
July 10, 2023 22:50 5m 39s
Fixing issue with incorrect comment
better-python-build #42: Commit f516edf pushed by msoos
July 10, 2023 22:50 36m 16s master
July 10, 2023 22:50 36m 16s
Fixing issue with incorrect comment
Python package build #82: Commit f516edf pushed by msoos
July 10, 2023 22:50 12m 20s master
July 10, 2023 22:50 12m 20s