Skip to content
Build

fix(CLI): Do not use psmt2 format for .smt2 file #66

Sign in to view logs

fix(CLI): Do not use psmt2 format for .smt2 file

fix(CLI): Do not use psmt2 format for .smt2 file #66

Triggered via push May 27, 2024 08:22
@bclement-ocpbclement-ocp
pushed b5ebd3a
psmt2-format
Status Failure
Total duration 12m 7s
Artifacts –

build.yml

on: push
Make all
8m 9s
Make all
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Make all
Process completed with exit code 1.