Install cvc5 in buildpack-deps #278

Sign in to view logs

Triggered via pull request May 15, 2024 14:08

r0qs

synchronize #15102

install-cvc5

Status Failure

Total duration 54m 40s

Artifacts –

buildpack-deps.yml

on: pull_request

Matrix: buildpack-deps

Annotations

1 error

buildpack-deps (ubuntu.clang.ossfuzz)

Process completed with exit code 1.