Skip to content

update opam files + set up tests #14

update opam files + set up tests

update opam files + set up tests #14

Triggered via pull request September 12, 2023 15:50
Status Failure
Total duration 16m 49s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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

Annotations

2 errors and 2 notices
Build (ubuntu-latest, 4.14.x)
The process '/opt/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 20
Build (macos-latest, 4.14.x)
The process '/Users/runner/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 20
Build (ubuntu-latest, 4.14.x)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/opt/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 20
Build (macos-latest, 4.14.x)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/users/runner/hostedtoolcache/opam/2.1.5/x86_64/opam' failed with exit code 20