fix CI · uds-psl/autosubst-ocaml@d363f98

Triggered via push January 16, 2025 11:12

yforster

1.1+8.20

Status Success

Total duration 4m 30s

Artifacts –

main.yml

on: push

Matrix: build-matrix

12 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Automatically putting test in Prop even though it was declared with

The '%' scope delimiter in 'Arguments' commands is deprecated, use

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Notation "_ [ _ ]" was already used in scope subst_scope.

Notation "⟨ _ ⟩" was already used in scope fscope.

Notation "_ ⟨ _ ⟩" was already used in scope subst_scope.

Notation "_ __tm" was already used in scope subst_scope.

Notation "_ __tm" was already used in scope subst_scope.

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