trivial-update

Update dune to 3.24.2 #229

Sign in to view logs

Triggered via pull request August 4, 2026 22:16

synchronize #563

update-dune-3.24.2

Status Success

Total duration 14s

Artifacts –

trivial-update.yml

on: pull_request