.github/workflows/ci.yml

Coq 8.19 #848

Sign in to view logs

Triggered via pull request December 24, 2023 15:00

gares

synchronize #702

coq-8.19

Status Failure

Total duration 29m 25s

Artifacts –

ci.yml

on: pull_request

Matrix: build-extension

Matrix: dev-setup-opam

Matrix: install-opam

Matrix: nix-dev-build

install-windows

Annotations

10 errors

nix-dev-build (ubuntu-latest)

Process completed with exit code 1.

nix-dev-build (ubuntu-latest)

Process completed with exit code 1.

nix-dev-build (macos-latest)

The operation was canceled.

install-opam (ubuntu-latest, 4.13.x, 8.18.0)

Process completed with exit code 1.

install-opam (ubuntu-latest, 4.13.x, 8.18.0)

Process completed with exit code 40.

install-opam (ubuntu-latest, 4.13.x, 8.19+rc1)

Process completed with exit code 40.

install-opam (ubuntu-latest, 4.13.x, 8.19+rc1)

Process completed with exit code 1.

dev-setup-opam (ubuntu-latest, 4.13.x)

Process completed with exit code 1.

dev-setup-opam (ubuntu-latest, 4.13.x)

Process completed with exit code 1.

install-windows

Process completed with exit code 1.