Github CI

Adapt w.r.t. coq/coq#20165. #3096

Sign in to view logs

Triggered via pull request January 30, 2025 13:33

ppedrot

opened #897

ppedrot:environ-view-serlib

Status Failure

Total duration 13m 57s

Artifacts –

build.yml

on: pull_request

Web Worker Build

Opam dev install

Nix Flake Check

Matrix: Nix

Matrix: build

Annotations

12 errors

Nix (ubuntu-latest)

Process completed with exit code 1.

Nix (macOS-latest)

Process completed with exit code 1.

build (ubuntu-latest, 4.13.x)

Process completed with exit code 2.

build (ubuntu-latest, 4.14.x)

Process completed with exit code 2.

build (ubuntu-latest, 4.12.x)

Process completed with exit code 2.

build (ubuntu-latest, 5.1.x)

Process completed with exit code 2.

Opam dev install

Process completed with exit code 31.

build (ubuntu-latest, 5.2.x)

Process completed with exit code 2.

build (macos-latest, 4.14.x)

Process completed with exit code 2.

Web Worker Build

Process completed with exit code 2.

build (ubuntu-latest, 5.0.x)

Process completed with exit code 2.

build (Windows Latest, 4.14, windows-latest)

Process completed with exit code 1.