Build on Dune PM

Update CHANGES.md in preparation for release #13

Sign in to view logs

Triggered via pull request October 8, 2025 17:25

jonludlam

opened #472

jonludlam:release-2.5.1

Status Success

Total duration 5m 48s

Artifacts –

dune-build.yml

on: pull_request

Matrix: build