Skip to content
Docker CI

Switch back to Dune-Coq 0.3, fix duplicate-clear warning (#60) #523

Sign in to view logs

Switch back to Dune-Coq 0.3, fix duplicate-clear warning (#60)

Switch back to Dune-Coq 0.3, fix duplicate-clear warning (#60) #523

Triggered via push August 3, 2023 13:17
@palmskogpalmskog
pushed 8aa06ae
master
Status Success
Total duration 5m 2s
Artifacts –

docker-action.yml

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