Docker CI

WIP: generalize Reals to realTypes for fdist #277

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 36s
build (mathcomp/mathcomp:1.17.0-coq-8.17)	17m 24s
	29m 0s