Back to pull request #1256

Trying to generalize mfun, updated #3125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
coq-elpi	40s
mathcomp-bigenough	47s
mathcomp-finmap	43s
hierarchy-builder	51s
mathcomp-analysis-single	10m 39s
mathcomp	51s
mathcomp-classical	2m 36s
mathcomp-reals	2m 4s
mathcomp-reals-stdlib	1m 19s
mathcomp-analysis	9m 17s
mathcomp-altreals	1m 43s
mathcomp-analysis-stdlib	9m 29s
	41m 39s