Skip to content
Docker CI

Switch back to Dune-Coq 0.3, fix duplicate-clear warning #522

Sign in to view logs

Switch back to Dune-Coq 0.3, fix duplicate-clear warning

Switch back to Dune-Coq 0.3, fix duplicate-clear warning #522

Triggered via pull request August 2, 2023 08:54
@palmskogpalmskog
opened #60
dune-0.3
Status Success
Total duration 4m 4s
Artifacts –

docker-action.yml

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