Skip to content

Use create-opam-switch.sh -F to remove diskuv- repository (2/n) #713

Use create-opam-switch.sh -F to remove diskuv- repository (2/n)

Use create-opam-switch.sh -F to remove diskuv- repository (2/n) #713

Triggered via push November 13, 2024 02:55
Status Success
Total duration 25s
Artifacts

syntax.yml

on: push
syntax-check
16s
syntax-check
Fit to window
Zoom out
Zoom in