Skip to content
CI (Coq)

Remove checked-in logs that are present in expected form #642

Sign in to view logs

Remove checked-in logs that are present in expected form

Remove checked-in logs that are present in expected form #642

Triggered via push December 27, 2023 21:44
@JasonGrossJasonGross
pushed 1f475fa
xxx-swe-bench-4000-millenia
Status Failure
Total duration 20s
Artifacts –

coq.yml

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

Annotations

21 errors
build (8.11.0, coq-8.11.0, ppa:jgross-h/many-coq-versions-ocaml-4-05, 1, gcc)
Process completed with exit code 100.
build (8.9.1, coq-8.9.1, ppa:jgross-h/many-coq-versions, 1, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (8.9.1, coq-8.9.1, ppa:jgross-h/many-coq-versions, 1, gcc)
Process completed with exit code 100.
build (v8.10, coq, ppa:jgross-h/coq-8.10-daily, 1, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (v8.10, coq, ppa:jgross-h/coq-8.10-daily, 1, gcc)
Process completed with exit code 100.
build (v8.9, coq, ppa:jgross-h/coq-8.9-daily, 1, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (v8.9, coq, ppa:jgross-h/coq-8.9-daily, 1, gcc)
Process completed with exit code 100.
build (8.8.2, coq-8.8.2, ppa:jgross-h/many-coq-versions, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (8.8.2, coq-8.8.2, ppa:jgross-h/many-coq-versions, gcc)
Process completed with exit code 100.
build (master, coq, ppa:jgross-h/coq-master-daily, 1, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (master, coq, ppa:jgross-h/coq-master-daily, 1, gcc)
Process completed with exit code 100.
build (8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, 1, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (8.10.2, coq-8.10.2, ppa:jgross-h/many-coq-versions-ocaml-4-05, 1, gcc)
Process completed with exit code 100.
build (8.7.2, coq-8.7.2, ppa:jgross-h/many-coq-versions, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (8.7.2, coq-8.7.2, ppa:jgross-h/many-coq-versions, gcc)
Process completed with exit code 100.
build (v8.8, coq, ppa:jgross-h/coq-8.8-daily, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (v8.8, coq, ppa:jgross-h/coq-8.8-daily, gcc)
The operation was canceled.
build (v8.11, coq, ppa:jgross-h/coq-8.11-daily, 1, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (v8.11, coq, ppa:jgross-h/coq-8.11-daily, 1, gcc)
The operation was canceled.
build (v8.7, coq, ppa:jgross-h/coq-8.7-daily, gcc)
The job was canceled because "_8_11_0_coq-8_11_0_ppa_jg" failed.
build (v8.7, coq, ppa:jgross-h/coq-8.7-daily, gcc)
Process completed with exit code 100.