Skip to content
Test coverage

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

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (5.2.1, ubuntu-24.04)
22m 48s
22m 48s