CI

Merge pull request #379 from herbelin/main+adapt-coq-pr18129-nested-ind #356

Sign in to view logs

Triggered via push January 8, 2024 14:13

ppedrot

main

Status Failure

Total duration 9m 40s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

1 error

build (4.13.1, test, true)

Process completed with exit code 1.