Skip to content
CI

attempt to fix the CI #163

Sign in to view logs

attempt to fix the CI

attempt to fix the CI #163

Triggered via push April 17, 2025 09:22
@yforsteryforster
pushed d26c0d7
1.1+9.0
Status Success
Total duration 4m 29s
Artifacts –

main.yml

on: push
Matrix: build-matrix
Fit to window
Zoom out
Zoom in

Annotations

11 warnings
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
Failed to remove 'http.https://github.com/.extraheader' from the git config
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
Notation "_ __tm" was already used in scope subst_scope.
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
Notation "_ __tm" was already used in scope subst_scope.
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
Notation "_ ⟨ _ ⟩" was already used in scope subst_scope.
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
Notation "_ [ _ ]" was already used in scope subst_scope.
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
Automatically putting test in Prop even though it was declared with
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
build-matrix (coq-autosubst-ocaml.opam, coqorg/coq:8.20.1-ocaml-4.14.2-flambda)
The '%' scope delimiter in 'Arguments' commands is deprecated, use