Skip to content

dune: bump the language version to 3.17 - #30

Open
samoht wants to merge 2 commits into
mirage:masterfrom
samoht:bump-dune-lang
Open

dune: bump the language version to 3.17#30
samoht wants to merge 2 commits into
mirage:masterfrom
samoht:bump-dune-lang

dune: bump the language version from 1.0 to 3.17

1c795ca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
build (macos-latest, 5.5)
succeeded Jul 23, 2026 in 5m 41s