Skip to content

Use dune-build-info to manage version information#1783

Draft
smorimoto wants to merge 1 commit intomasterfrom dune-build-info

Commits

Commits on Jan 1, 2025