Skip to content
CI

Rocq 9.0 #157

Sign in to view logs

Rocq 9.0

Rocq 9.0 #157

Re-run triggered March 26, 2025 18:22
@yforsteryforster
#24
TheoWinterhalter:rocq-9.0
Status Success
Total duration 4m 43s
Artifacts –

main.yml

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

Annotations

11 warnings
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Failed to remove 'http.https://github.com/.extraheader' from the git config
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation List.map_length is deprecated since 8.20.
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation List.map_length is deprecated since 8.20.
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation List.map_length is deprecated since 8.20.
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notations "[ _ ; _ ]" defined at level 1 with arguments constr,
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notations "[ _ ; _ ]" defined at level 1 and "[ ]"
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation "_ __tm" was already used in scope subst_scope.
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation "_ __tm" was already used in scope subst_scope.
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation "_ ⟨ _ ⟩" was already used in scope subst_scope.
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation "⟨ _ ⟩" was already used in scope fscope.
build-matrix (rocq-autosubst-ocaml.opam, rocq/rocq-prover:9.0.0-ocaml-4.14.2-flambda)
Notation "_ [ _ ]" was already used in scope subst_scope.