Support for Coq 8.20 · CertiCoq/certicoq@91fac85

Triggered via pull request January 28, 2025 15:51

yforster

synchronize #115

coq-8.20

Status Failure

Total duration 35m 29s

Artifacts –

build.yml

on: pull_request

Matrix: build-matrix

11 warnings

Automatically putting GFunInfo in Prop even though it was declared

Notations "[ _ ]" defined at level 0 with arguments constr

Notations "[ _ ] _" defined at level 34 and "[ ]" defined at level 0

Notations "[ _ ] _" defined at level 34 with arguments constr

Notations "[ _ ] _" defined at level 34 with arguments constr

Notations "[ _ ] _" defined at level 34 and "[ ]" defined at level 0

Notations "[ _ ] _" defined at level 34 with arguments constr

Notations "[ _ ] _" defined at level 34 with arguments constr

Notations "[ _ ] _" defined at level 34 and "[ × _ & _ ]"

Notations "_ ;;; _" defined at level 100 with arguments constr

Failed to remove 'http.https://github.com/.extraheader' from the git config