Skip to content
Docker CI

compatibility with 8.19 and beyond #33

Sign in to view logs

compatibility with 8.19 and beyond

compatibility with 8.19 and beyond #33

Triggered via pull request December 23, 2023 17:55
@palmskogpalmskog
opened #31
fix-8.19
Status Success
Total duration 10m 41s
Artifacts –

docker-action.yml

on: pull_request
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