dune: bump the language version to 3.17 - #30

Open

samoht wants to merge 2 commits into

mirage:masterfrom

samoht:bump-dune-lang

Commits on Jul 23, 2026

ci: replace Travis with a GitHub Actions build-and-test matrix
samoht
committed
4880b43
dune: bump the language version from 1.0 to 3.17
samoht
committed
1c795ca