MetaCoq CI

Bump actions/checkout from 3 to 4 #2364

Triggered via pull request September 4, 2023 16:35

dependabot[bot]

opened #978

dependabot/github_actions/coq-8.17/actions/checkout-4

Status Success

Total duration 1h 21m 20s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request

checktodos

Matrix: build

Annotations

30 warnings

build (8.17, 4.14-flambda, local)

The default and global localities for this command outside sections

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

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

build (8.17, 4.14-flambda, local)

The default and global localities for this command outside sections

build (8.17, 4.14-flambda, quick)

The default and global localities for this command outside sections

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

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

build (8.17, 4.14-flambda, quick)

The default and global localities for this command outside sections

build (8.17, 4.14-flambda, opam)

The default and global localities for this command outside sections

build (8.17, 4.14-flambda, opam)

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

build (8.17, 4.14-flambda, opam)

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

build (8.17, 4.14-flambda, opam)

The default and global localities for this command outside sections

build (8.17, 4.14-flambda, opam)