mlmpfr CI

Reorganize dune files for better C flags configuration #310

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
main (ubuntu-latest, 4.12.1)	5m 36s
main (ubuntu-latest, 4.14.0)	5m 38s
main (ubuntu-latest, 5.0.0)	5m 46s
main (ubuntu-latest, 5.1.1)	5m 32s
main (ubuntu-latest, 5.2.0)	5m 46s
main (macos-latest, 4.12.1)	3m 23s
main (macos-latest, 4.14.0)	3m 20s
main (macos-latest, 5.0.0)	3m 37s
main (macos-latest, 5.1.1)	3m 16s
main (macos-latest, 5.2.0)	3m 24s
	45m 18s