Skip to content

Use dune-configurator to set C flags #224

Use dune-configurator to set C flags

Use dune-configurator to set C flags #224

Annotations

1 warning

Build and test (ubuntu-latest, 5.1)

succeeded Jan 5, 2025 in 1m 58s