Docker CI

WIP: generalize Reals to realTypes for fdist #285

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (mathcomp/mathcomp:1.16.0-coq-8.17)	11m 9s
build (mathcomp/mathcomp:1.17.0-coq-8.17)	14m 12s
	25m 21s