Skip to content
CI

Bump dune to 3.20 #150

Sign in to view logs

Bump dune to 3.20

Bump dune to 3.20 #150

Triggered via push January 8, 2026 20:00
@lindiglindig
pushed 5bd1d2e
main
Status Success
Total duration 1m 13s
Artifacts –

ci.yml

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