Skip to content
coq-library-undecidability CI

fix README #169

Sign in to view logs

fix README

fix README #169

Triggered via push October 1, 2025 16:04
@yforsteryforster
pushed ed6ef5b
main
Status Success
Total duration 4m 5s
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.