boolector: bins of btor2tools are now in subdir 'build' #387

Sign in to view logs

Triggered via push May 15, 2024 10:47

umarcor

main

Status Failure

Total duration 10m 38s

Artifacts –

vtr.yml

on: push

Matrix: vtr / jobs

Annotations

1 error

vtr / amd64/debian/bullseye | pkg/vtr vtr

Process completed with exit code 1.