Skip to content
Docker CI

update changelog #37

Sign in to view logs

update changelog

update changelog #37

Triggered via push December 28, 2023 12:52
@palmskogpalmskog
pushed fbad432
master
Status Success
Total duration 2m 13s
Artifacts –

docker-action.yml

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

Annotations

1 warning
build (coqorg/coq:dev): src/Extract.v#L16
Setting extraction output directory by default to