remove the printing of weird notations for substitutions as functions · uds-psl/autosubst-ocaml@fd2a4c5

Triggered via pull request March 12, 2025 10:21

synchronize #23

Status Success

Total duration 4m 27s

Artifacts –

main.yml

on: pull_request

Matrix: build-matrix

11 warnings

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

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

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

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

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

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

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