Build on Dune PM

Merge pull request #606 from patricoferris/ci-trunk #131

Sign in to view logs

Triggered via push December 4, 2025 13:31

main

Status Success

Total duration 7m 15s

Artifacts –

dune-build.yml

on: push

Matrix: build