Skip to content
build

Git commit adding mpicosat.h #179

Sign in to view logs

Git commit adding mpicosat.h

Git commit adding mpicosat.h #179

Triggered via push March 7, 2025 21:51
@msoosmsoos
pushed 00e718d
synthesis
Status Success
Total duration 2m 41s
Artifacts 2

binary-build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cryptominisat5-linux-amd64 Expired
2.06 MB
sha256:8e37c0c0103dbdf3c955671f6b4f27115ad6a6257b28b951159ce9f3eaaefd50
cryptominisat5-mac-arm64 Expired
1.09 MB
sha256:5e7355bf1a7e942ffb86d9450f205789391a62be29975997c3be0d0e0c0cf451