Skip to content
Opam Pipeline

chore: remove pinned packages #198

Sign in to view logs

chore: remove pinned packages

chore: remove pinned packages #198

Triggered via pull request September 5, 2024 14:56
@anmonteiroanmonteiro
synchronize #209
anmonteiro/rm-pins
Status Failure
Total duration 5m 26s
Artifacts –

opam-build.yml

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

Annotations

2 errors and 2 notices
Build and test (ubuntu-latest, 5.1)
The process '/opt/hostedtoolcache/opam/2.1.6/x86_64/opam' failed with exit code 20
Build and test (ubuntu-latest, 5.2)
The process '/opt/hostedtoolcache/opam/2.1.6/x86_64/opam' failed with exit code 20
Build and test (ubuntu-latest, 5.1)
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.6/x86_64/opam' failed with exit code 20
Build and test (ubuntu-latest, 5.2)
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.6/x86_64/opam' failed with exit code 20