Github CI

[vendor] Bump Coq #1951

Sign in to view logs

Triggered via pull request December 18, 2023 14:29

ejgallego

opened #631

bump_coq_pff

Status Failure

Total duration 24m 27s

Artifacts –

build.yml

on: pull_request

Nix Flake Check

Matrix: Nix

Matrix: build

Annotations

1 error

build (Windows Latest, 4.14, windows-latest)

The process 'D:\cygwin\bin\opam.exe' failed with exit code 40