Skip to content
Docker CI

update changelog #35

Sign in to view logs

update changelog

update changelog #35

Triggered via push December 28, 2023 10:09
@palmskogpalmskog
pushed c32df70
master
Status Success
Total duration 10m 43s
Artifacts –

docker-action.yml

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

Annotations

3 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