separate crun out of MonadTypedStore (#138) #486

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)	45m 11s
build (mathcomp/mathcomp:2.2.0-coq-8.19)	35m 1s
	1h 20m 12s