Skip to content
build

Trim explored paths and enable collections-c for owi conc #1451

Sign in to view logs

Trim explored paths and enable collections-c for owi conc

Trim explored paths and enable collections-c for owi conc #1451

Triggered via pull request August 10, 2024 10:51
@filipeomfilipeom
opened #406
filipeom:concolic
Status Failure
Total duration 1m 24s
Artifacts –

build.yml

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

Annotations

3 errors
build (ubuntu-latest, 5.1)
The process '/opt/hostedtoolcache/opam/2.2.0/x86_64/opam' failed with exit code 2
build (ubuntu-latest, 5.2)
The process '/opt/hostedtoolcache/opam/2.2.0/x86_64/opam' failed with exit code 2
build (macos-latest, 5.2)
The process '/Users/runner/hostedtoolcache/opam/2.2.0/arm64/opam' failed with exit code 2