Merge pull request #1231 from JasonGross/print-assumptions-list #3

Job	Run time
rocq-core	49s
stdlib	49s
coq	48s
equations	49s
metarocq-utils	45s
metarocq-common	50s
metarocq-pcuic	50s
metarocq-template-rocq	51s
metarocq-safechecker	47s
metarocq-translations	48s
metarocq-template-pcuic	40s
metarocq-quotation	41s
metarocq-safechecker-plugin	45s
metarocq-erasure	48s
metarocq-erasure-plugin	47s
metarocq	46s
	12m 33s

Provide feedback