Skip to content
coq-library-undecidability CI

new CI #168

Sign in to view logs

new CI

new CI #168

Triggered via push October 1, 2025 14:53
@yforsteryforster
pushed 430fed1
main
Status Success
Total duration 4m 18s
Artifacts –

build.yml

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

Annotations

10 warnings
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.
build (9.0, 4.14-flambda)
Use of “Require” inside a module is fragile. It is not recommended
build (9.0, 4.14-flambda)
Using Vector.t is known to be technically difficult, see
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.
build (9.0, 4.14-flambda)
Loading Stdlib without prefix is deprecated.