Adapt to https://github.com/coq/coq/pull/14928 · coq/vscoq@5f750ad

Triggered via pull request October 30, 2023 13:10

proux01

opened #681

coq_14928

Status Failure

Total duration 1h 6m 48s

Artifacts –

ci.yml

on: pull_request

Matrix: build-extension

Matrix: dev-setup-opam

Matrix: install-opam

Matrix: nix-dev-build

9 errors

Process completed with exit code 1.

Process completed with exit code 1.

The job was canceled because "ubuntu-latest" failed.

The operation was canceled.

Process completed with exit code 31.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.