Skip to content
Github CI

Merge pull request #635 from ejgallego/bump_coq #1961

Sign in to view logs

Merge pull request #635 from ejgallego/bump_coq

Merge pull request #635 from ejgallego/bump_coq #1961

Triggered via push January 10, 2024 22:48
@ejgallegoejgallego
pushed 0a3bb08
main
Status Failure
Total duration 30m 43s
Artifacts –

build.yml

on: push
client-compile
17s
client-compile
Nix Flake Check
56s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 notice
build (Windows Latest, 4.14, windows-latest)
The process 'D:\cygwin\wrapperbin\opam.cmd' failed with exit code 20
build (Windows Latest, 4.14, windows-latest)
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 'd:\cygwin\wrapperbin\opam.cmd' failed with exit code 20