Skip to content

refresh boilerplate and CI and bump Dune to 3.5 or later#17

Merged
palmskog merged 1 commit intomasterfrom refresh-boilerplateJul 25, 2024

Commits

Commits on Jul 25, 2024