MetaCoq CI

Add boolean versions of the varieties of `extends` #2266

Triggered via pull request April 21, 2023 02:01

JasonGross

synchronize #954

JasonGross:coq-8.16+extends-bool

Status Success

Total duration 1h 13m 57s

Artifacts –

build.yml

on: pull_request

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)