Better comment

15 jobs for !181 with POET in 53 seconds (queued for 3 seconds)
latest merge request
Name Stage Failure
failed
1.12.0-coq-8.13 Build
# <> and prefix CoqEAL.
#
# make[1]: *** [Makefile:743: proofgen/util.vo] Error 1
# make[1]: *** Waiting for unfinished jobs....
# make: *** [Makefile:348: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
1.12.0-coq-8.14 Build
# 
# COQC proofgen/emax_dmin.v
# make[1]: *** [Makefile:786: proofgen/util.vo] Error 1
# make[1]: *** Waiting for unfinished jobs....
# make: *** [Makefile:391: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
coq-dev Build
# It cannot be used in a binder.
#
# make[1]: *** [Makefile:814: util/unit_growth.vo] Error 1
# make[1]: *** Waiting for unfinished jobs....
# make: *** [Makefile:413: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
coq-8.13 Build

<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-prosa dev
+-
- No changes have been performed
'opam install -y -v -j 2 coq-prosa' failed.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
1.13.0-coq-8.14 Build
# 
# COQC proofgen/emax_dmin.v
# make[1]: *** [Makefile:786: proofgen/util.vo] Error 1
# make[1]: *** Waiting for unfinished jobs....
# make: *** [Makefile:391: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
1.13.0-coq-8.13 Build
# <> and prefix CoqEAL.
#
# make[1]: *** [Makefile:743: proofgen/util.vo] Error 1
# make[1]: *** Waiting for unfinished jobs....
# make: *** [Makefile:348: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
proof-state Build
Warning: The default value for instance locality is currently "local" in a
section and "global" otherwise, but is scheduled to change in a future
release. For the time being, adding instances outside of sections without
specifying an explicit locality attribute is therefore deprecated. It is
recommended to use "export" whenever possible. Use the attributes #[local],
#[global] and #[export] depending on your choice. For example: "#[export]
Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated]
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
spell-check Build
./proofgen/refinements.v: potentially misspelled word 'Rnat'
./proofgen/refinements.v: potentially misspelled word 'abstr'
./proofgen/refinements.v: potentially misspelled word 'simpl'
./proofgen/refinements.v: potentially misspelled word 'subst'
./proofgen/util.v: potentially misspelled word 'Util'
./proofgen/util.v: potentially misspelled word 'nat'
./util/bigcat.v: potentially misspelled word 'Todo'
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
compile Build
specifying an explicit locality attribute is therefore deprecated. It is
recommended to use "export" whenever possible. Use the attributes #[local],
#[global] and #[export] depending on your choice. For example: "#[export]
Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated]
make[1]: *** [Makefile:786: proofgen/util.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
make: *** [Makefile:391: all] Error 2
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
compile-classic Build
section and "global" otherwise, but is scheduled to change in a future
release. For the time being, adding instances outside of sections without
specifying an explicit locality attribute is therefore deprecated. It is
recommended to use "export" whenever possible. Use the attributes #[local],
#[global] and #[export] depending on your choice. For example: "#[export]
Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated]
make: *** [Makefile:391: all] Error 2
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

failed
proof-length Build
Warning: new long proof of todo_6_new in ./proofgen/FP/fast_search_space.v:269!
Warning: new long proof of todo_8 in ./proofgen/EDF/fast_search_space.v:532!
Warning: new long proof of todo_8 in ./proofgen/FP/fast_search_space.v:376!
Warning: new long proof of sched_nonpreemptive_next in ./proofgen/EDF/nonpreemptive_sched.v:62!
Warning: new long proof of search_space_subset_FP in ./proofgen/FP/fast_search_space.v:429!
Warning: new long proof of search_space_subset_FP in ./proofgen/EDF/fast_search_space.v:588!
Checked 2218 proofs in 381 files, while skipping 149 known long proofs.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1