Skip to content
coq-library-undecidability CI

adapt to https://github.com/rocq-prover/stdlib/pull/154 #736

Sign in to view logs

adapt to https://github.com/rocq-prover/stdlib/pull/154

adapt to https://github.com/rocq-prover/stdlib/pull/154 #736

Triggered via push July 21, 2025 11:24
@mrhaandimrhaandi
pushed 4f6a1d6
master
Status Success
Total duration 5m 59s
Artifacts –

build.yml

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

Annotations

10 warnings
build (dev, 4.14-flambda)
Tolerating this expression at level 0 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level 0 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level <unknown> while it is expected
build (dev, 4.14-flambda)
Tolerating this expression at level 43 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level 43 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level 43 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level 43 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level 43 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level 43 while it is expected to be at
build (dev, 4.14-flambda)
Tolerating this expression at level 43 while it is expected to be at