[build|test] adding counter-examples and their related error logs

It is important to test that malformed programs are rejected by the
typechecker.
This work starts with a few counter-examples which should fail.
4 jobs for julien@counter-examples in 9 minutes and 18 seconds
latest
Status Job ID Name Coverage
  Build
failed #536189944
coq

00:08:41

failed #536189942
coq:8.8

00:07:33

failed #536189943
coq:8.9

00:08:36

failed #536189945
test:docker

00:09:17

 
Name Stage Failure
failed
coq Build
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-albert dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.9 Build
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-albert dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
test:docker Build
+- The following actions failed
| - build coq-albert dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
The command '/bin/sh -c opam install -y -j ${NJOBS} --with-test .' returned a non-zero code: 31
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 31
failed
coq:8.8 Build
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-albert dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1