ci_regression_tests

bugfix: execute cvc4 correctly in linux #26

Sign in to view logs

Triggered via push June 27, 2023 04:45

WilfredTA

master

Status Failure

Total duration 21s

Artifacts –

main.yaml

on: push

Build and test on linux

Annotations

1 error

Build and test on linux

Process completed with exit code 100.