MetaCoq CI

Bump cachix/install-nix-action from 22 to 23 #2359

Triggered via push September 4, 2023 16:33

dependabot[bot]

pushed e7ee5be

dependabot/github_actions/cachix/install-nix-action-23

Status Success

Total duration 1h 36m 38s

Artifacts –

build.yml

on: push

checktodos

Matrix: build

Annotations

29 warnings

build (8.16, 4.14-flambda, quick)

Notation "_ { _ := _ }" was already used.

build (8.16, 4.14-flambda, quick)

Notation "_ ,,, _" was already used.

build (8.16, 4.14-flambda, quick)

Notation "_ * _" was already used in scope type_scope.

build (8.16, 4.14-flambda, quick)

Notation "_ <-> _" was already used in scope type_scope.

build (8.16, 4.14-flambda, quick)

Notation "_ + _" was already used in scope type_scope.

build (8.16, 4.14-flambda, quick)

Notation "_ * _" was already used in scope type_scope.

build (8.16, 4.14-flambda, quick)

Notation "_ <-> _" was already used in scope type_scope.

build (8.16, 4.14-flambda, quick)

Notation "_ + _" was already used in scope type_scope.

build (8.16, 4.14-flambda, quick)

Trying to mask the absolute name "normalization_in"!

build (8.16, 4.14-flambda, local)

Notation "_ { _ := _ }" was already used.

build (8.16, 4.14-flambda, local)

Notation "_ ,,, _" was already used.

build (8.16, 4.14-flambda, local)

Notation "_ * _" was already used in scope type_scope.

build (8.16, 4.14-flambda, local)

Notation "_ <-> _" was already used in scope type_scope.

build (8.16, 4.14-flambda, local)

Notation "_ + _" was already used in scope type_scope.

build (8.16, 4.14-flambda, local)

Notation "_ * _" was already used in scope type_scope.

build (8.16, 4.14-flambda, local)

Notation "_ <-> _" was already used in scope type_scope.

build (8.16, 4.14-flambda, local)

Notation "_ + _" was already used in scope type_scope.

build (8.16, 4.14-flambda, local)