Skip to content
CI (Coq)

Add a test-suite target so swe bench can uniformly test different com… #643

Sign in to view logs

Add a test-suite target so swe bench can uniformly test different com…

Add a test-suite target so swe bench can uniformly test different com… #643

Triggered via push December 27, 2023 21:53
@JasonGrossJasonGross
pushed 841fa96
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

20 errors
build (8.7.2, coq-8.7.2, ppa:jgross-h/many-coq-versions, gcc)
Process completed with exit code 100.
build (8.9.1, coq-8.9.1, ppa:jgross-h/many-coq-versions, 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_7_2_coq-8_7_2_ppa_jgro" failed.
build (8.8.2, coq-8.8.2, ppa:jgross-h/many-coq-versions, 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_7_2_coq-8_7_2_ppa_jgro" failed.
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_7_2_coq-8_7_2_ppa_jgro" failed.
build (v8.10, coq, ppa:jgross-h/coq-8.10-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)
Process completed with exit code 100.
build (8.11.0, coq-8.11.0, ppa:jgross-h/many-coq-versions-ocaml-4-05, 1, gcc)
The job was canceled because "_8_7_2_coq-8_7_2_ppa_jgro" failed.
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 (v8.7, coq, ppa:jgross-h/coq-8.7-daily, gcc)
The job was canceled because "_8_7_2_coq-8_7_2_ppa_jgro" failed.
build (v8.7, coq, ppa:jgross-h/coq-8.7-daily, gcc)
Process completed with exit code 100.
build (v8.11, coq, ppa:jgross-h/coq-8.11-daily, 1, gcc)
The job was canceled because "_8_7_2_coq-8_7_2_ppa_jgro" failed.
build (v8.11, coq, ppa:jgross-h/coq-8.11-daily, 1, 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_7_2_coq-8_7_2_ppa_jgro" failed.
build (v8.8, coq, ppa:jgross-h/coq-8.8-daily, gcc)
Process completed with exit code 100.
build (master, coq, ppa:jgross-h/coq-master-daily, 1, gcc)
The job was canceled because "_8_7_2_coq-8_7_2_ppa_jgro" failed.
build (master, coq, ppa:jgross-h/coq-master-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_7_2_coq-8_7_2_ppa_jgro" failed.
build (v8.9, coq, ppa:jgross-h/coq-8.9-daily, 1, gcc)
Process completed with exit code 100.