Skip to content
Docker CI

generate boilerplate and add ci #1

Sign in to view logs

generate boilerplate and add ci

generate boilerplate and add ci #1

Triggered via push January 12, 2024 17:51
@palmskogpalmskog
pushed 0d4cf86
master
Status Failure
Total duration 2m 5s
Artifacts –

docker-action.yml

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

Annotations

1 error and 8 warnings
build (coqorg/coq:8.17): theories/abs_defs.v#L15
The default value for hint locality is currently "global" outside
build (coqorg/coq:8.16): theories/abs_defs.v#L15
The default value for hint locality is currently "local" in a
build (coqorg/coq:8.16): theories/abs_defs.v#L16
The default value for hint locality is currently "local" in a
build (coqorg/coq:8.16): theories/abs_defs.v#L23
The default value for hint locality is currently "local" in a
build (coqorg/coq:8.16): theories/abs_defs.v#L29
The default value for hint locality is currently "local" in a
build (coqorg/coq:8.16): theories/abs_defs.v#L35
The default value for hint locality is currently "local" in a
build (coqorg/coq:8.16): theories/abs_defs.v#L41
The default value for hint locality is currently "local" in a
build (coqorg/coq:8.16): theories/abs_defs.v#L47
The default value for hint locality is currently "local" in a
build (coqorg/coq:8.16): theories/abs_defs.v#L53
The default value for hint locality is currently "local" in a