Skip to content
Docker CI

adapt to rocq + remove many warnings #87

Sign in to view logs

adapt to rocq + remove many warnings

adapt to rocq + remove many warnings #87

Triggered via pull request June 6, 2025 16:22
@fblanquifblanqui
opened #57
rocq
Status Failure
Total duration 12m 16s
Artifacts –

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

40 warnings
build (dev): Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
build (dev): Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
build (dev): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
build (dev): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (dev): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (dev): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (dev): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (dev): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (dev): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (dev): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (8.16): Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
build (8.16): Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
build (8.16): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
build (8.16): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (8.16): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (8.16): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (8.16): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (8.16): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (8.16): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (8.16): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (8.19): Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
build (8.19): Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
build (8.19): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
build (8.19): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (8.19): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (8.19): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (8.19): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (8.19): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (8.19): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (8.19): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
build (8.17): Util/Pair/PairLex.v#L232
Notation "_ <=A _" was already used.
build (8.17): Util/Pair/PairLex.v#L232
Notation "_ >=A _" was already used.
build (8.17): Util/Pair/PairLex.v#L232
Notation "_ <A _" was already used.
build (8.17): Util/Pair/PairLex.v#L232
Notation "_ >A _" was already used.
build (8.17): Util/Pair/PairLex.v#L232
Notation "_ =A= _" was already used.
build (8.17): Util/Pair/PairLex.v#L231
Notation "_ >A _" was already used.
build (8.17): Util/Pair/PairLex.v#L231
Notation "_ =A= _" was already used.
build (8.17): Util/Pair/PairLex.v#L229
Notation "_ >A _" was already used.
build (8.17): Util/Pair/PairLex.v#L229
Notation "_ =A= _" was already used.
build (8.17): Util/Relation/AccUtil.v#L252
Notation "_ == _" was already used.
⚡