Skip to content

Bump cachix/install-nix-action from V27 to 28 #2845

Bump cachix/install-nix-action from V27 to 28

Bump cachix/install-nix-action from V27 to 28 #2845

Triggered via pull request September 12, 2024 16:23
Status Success
Total duration 29m 55s
Artifacts

build.yml

on: pull_request
checktodos
3s
checktodos
Matrix: build
Fit to window
Zoom out
Zoom in

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)
Notation minus_diag is deprecated since 8.16.
build (8.16, 4.14-flambda, local)
Notation minus_diag is deprecated since 8.16.
build (8.16, 4.14-flambda, opam)
Notation "_ { _ := _ }" was already used.
build (8.16, 4.14-flambda, opam)
Notation "_ ,,, _" was already used.
build (8.16, 4.14-flambda, opam)
Notation "_ * _" was already used in scope type_scope.
build (8.16, 4.14-flambda, opam)
Notation "_ <-> _" was already used in scope type_scope.
build (8.16, 4.14-flambda, opam)
Notation "_ + _" was already used in scope type_scope.
build (8.16, 4.14-flambda, opam)
Notation "_ * _" was already used in scope type_scope.
build (8.16, 4.14-flambda, opam)
Notation "_ <-> _" was already used in scope type_scope.
build (8.16, 4.14-flambda, opam)
Notation "_ + _" was already used in scope type_scope.
build (8.16, 4.14-flambda, opam)
Notation minus_diag is deprecated since 8.16.
build (8.16, 4.14-flambda, opam)
Notation minus_diag is deprecated since 8.16.