Validate Proof command: runs typing.ml on the current proof #17467
coqbot-app / GitLab CI job test-suite:base+async (pull request)
completed
Jun 2, 2023 in 0s
Test has failed on GitLab CI
This job is allowed to fail.
This job ran on the Docker image registry.gitlab.com/coq/coq:bionic_coq-V2022-02-16-401854eb90, depended on the build job build:base with OCaml 4.09.0.
We show below an excerpt from the trace from GitLab starting around the last detected "Error" (the complete trace is available here).
Details
Please report at http://coq.inria.fr/bugs/.
Error: Worker dies or task expired
0m0.000000s 0m0.000000s
0m0.280000s 0m0.240000s
==========> FAILURE <==========
ssr/ipat_tac.v...Error! (should be accepted)
FAILURES
ssr/ipat_tac.v...Error! (should be accepted)
make[1]: *** [report] Error 1
Makefile:262: recipe for target 'report' failed
make[1]: Leaving directory '/builds/coq/coq/test-suite'
Makefile:179: recipe for target 'all' failed
make: *** [all] Error 2
Uploading artifacts for failed job
Uploading artifacts...
test-suite/logs: found 4 matching files and directories
Uploading artifacts as "archive" to coordinator... 201 Created id=4401960849 responseStatus=201 Created token=64_ogiqo
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1