Skip to content

Upgrade dune in CI to 3.24.2 - #60

Merged
mbarbin merged 1 commit into
mainfrom
upgrade-dune-3.24.2
Sep 2, 2026
Merged

mbarbin merged 1 commit into
mainfrom
upgrade-dune-3.24.2

Upgrade dune in CI

4422af2
Select commit
Loading
Failed to load commit list.