Skip to content
CI (Coq)

Bump etc/coq-scripts from 8b66ebe to 2df5dbe #201

Sign in to view logs

Bump etc/coq-scripts from 8b66ebe to 2df5dbe

Bump etc/coq-scripts from 8b66ebe to 2df5dbe #201

Triggered via pull request October 6, 2023 20:45
@dependabotdependabot[bot]
synchronize #101
dependabot/submodules/etc/coq-scripts-2df5dbe
Status Cancelled
Total duration 10m 2s
Artifacts –

coq.yml

on: pull_request
Matrix: build
check-all
0s
check-all
Fit to window
Zoom out
Zoom in

Annotations

11 errors
build (8.15.0, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.15.0 libcoq-8.15.0-ocaml-de...
The run was canceled by @JasonGross.
build (8.13.2, fiat-core parsers, PROFILE=1, 2, coq-8.13.2 libcoq-8.13.2-ocaml-dev, ppa:jgross-h/...
The run was canceled by @JasonGross.
build (v8.13, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.13-daily)
The run was canceled by @JasonGross.
build (8.14.1, fiat-core parsers querystructures, PROFILE=1, 2, coq-8.14.1 libcoq-8.14.1-ocaml-de...
The run was canceled by @JasonGross.
build (8.11.2, fiat-core parsers, PROFILE=1, 2, coq-8.11.2 libcoq-8.11.2-ocaml-dev, ppa:jgross-h/...
The run was canceled by @JasonGross.
build (v8.12, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.12-daily)
The run was canceled by @JasonGross.
build (v8.11, fiat-core parsers, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h/coq-8.11-daily)
The run was canceled by @JasonGross.
build (8.12.2, fiat-core parsers, PROFILE=1, 2, coq-8.12.2 libcoq-8.12.2-ocaml-dev, ppa:jgross-h/...
The run was canceled by @JasonGross.
build (v8.15, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...
The run was canceled by @JasonGross.
build (v8.14, fiat-core parsers querystructures, PROFILE=1, 2, coq libcoq-ocaml-dev, ppa:jgross-h...
The run was canceled by @JasonGross.
check-all
Process completed with exit code 1.