Skip to content

Make sure version number gets updated without having to run dune clean #1741

Make sure version number gets updated without having to run dune clean

Make sure version number gets updated without having to run dune clean #1741

Annotations

1 warning

build (5.2.1, ubuntu-24.04)

succeeded Jan 8, 2025 in 22m 48s