Skip to content
Docker CI

add basic CI based on official Coq Docker images #3

Sign in to view logs

add basic CI based on official Coq Docker images

add basic CI based on official Coq Docker images #3

Triggered via pull request August 20, 2024 20:21
@palmskogpalmskog
synchronize #113
docker-ci
Status Success
Total duration 4m 18s
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).