Skip to content
Coq

wip updating to bedrock2 where WeakestPrecondition.cmd is exec #584

Sign in to view logs

wip updating to bedrock2 where WeakestPrecondition.cmd is exec

wip updating to bedrock2 where WeakestPrecondition.cmd is exec #584

Triggered via push August 6, 2023 22:34
@samuelgruettersamuelgruetter
pushed 63445f8
wp_is_really_exec
Status Failure
Total duration 2m 38s
Artifacts –

coq.yml

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

Annotations

3 errors
build (8.15.0, coq-8.15.0 libcoq-8.15.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
Process completed with exit code 2.
build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)
Process completed with exit code 2.
build (8.16.0, coq-8.16.0 libcoq-8.16.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)
Process completed with exit code 2.