Skip to content

Bump dune version - #1948

Merged
hrutvik merged 2 commits into
herd:masterfrom
hrutvik:bump-dune
Aug 7, 2026
Merged

Bump dune version#1948
hrutvik merged 2 commits into
herd:masterfrom
hrutvik:bump-dune

[acl2] Lower `dune` language version in `dune-project`

ae7956c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check format
succeeded Aug 6, 2026 in 1m 22s