Docker CI

add a trivial model of MonadPlusArray (Module TrivialPlusArray) #469

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (mathcomp/mathcomp:2.2.0-coq-8.18)	46m 0s
build (mathcomp/mathcomp:2.2.0-coq-8.19)	34m 41s
	1h 20m 41s