Support for Coq 8.20 · CertiCoq/certicoq@fc022f7

Triggered via pull request January 28, 2025 14:40

yforster

synchronize #115

coq-8.20

Status Failure

Total duration 27m 26s

Artifacts –

build.yml

on: pull_request

Matrix: build-matrix

1 error and 11 warnings

Use of "Let" outside sections behaves as "#[local] Definition".

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

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