Skip to content

Update dune to 3.17 #2116

Update dune to 3.17

Update dune to 3.17 #2116

Triggered via pull request December 6, 2024 20:36
@smorimotosmorimoto
synchronize #1667
dune-3.17
Status Failure
Total duration 2m 33s
Artifacts

nix.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
tests
Process completed with exit code 2.
tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636