Skip to content
coqchk

Merge pull request #4 from libtx/avl #99

Sign in to view logs

Merge pull request #4 from libtx/avl

Merge pull request #4 from libtx/avl #99

Triggered via push February 15, 2026 15:51
@k32k32
pushed e76c39d
main
Status Success
Total duration 2m 14s
Artifacts –

coqchk.yml

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

Annotations

10 warnings
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.lt_trans"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.eq_trans"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.eq_sym"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.eq_refl"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.lt"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.eq"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.t"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E.t.u0"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E"!
build (8.20, default): theories/Storage/Instances/AVL.v#L8
Trying to mask the absolute name "E"!