trivial-update

Update dune to 3.24.2 #228

Sign in to view logs

Triggered via pull request August 4, 2026 22:08

gominimal-pkgmgr-mgr[bot]

opened #563

update-dune-3.24.2

Status Success

Total duration 12s

Artifacts –

trivial-update.yml

on: pull_request