Skip to content
Docker CI

add basic CI based on official Coq Docker images #2

Sign in to view logs

add basic CI based on official Coq Docker images

add basic CI based on official Coq Docker images #2

Triggered via pull request August 20, 2024 20:13
@palmskogpalmskog
synchronize #113
docker-ci
Status Success
Total duration 4m 16s
Artifacts –

docker-action.yml

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

Annotations

4 warnings
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).
build (coqorg/coq:dev)
symbol l is unreachable from any of the start symbol(s).