Skip to content
Docker CI

ci for 8.19 #36

Sign in to view logs

ci for 8.19

ci for 8.19 #36

Triggered via push December 30, 2023 09:29
@palmskogpalmskog
pushed 0553daf
master
Status Success
Total duration 11m 4s
Artifacts –

docker-action.yml

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

Annotations

6 warnings
build (coqorg/coq:dev)
Setting extraction output directory by default to
build (coqorg/coq:dev)
Setting extraction output directory by default to
build (coqorg/coq:dev)
Setting extraction output directory by default to
build (coqorg/coq:8.19)
Setting extraction output directory by default to
build (coqorg/coq:8.19)
Setting extraction output directory by default to
build (coqorg/coq:8.19)
Setting extraction output directory by default to