continuous integration

Merge branch 'FR_ordered_mixin_lemmas' into FR_ordered_mixin_deprecate #154169

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	1m 59s
Cancel Previous Runs (CI)	2s
Lint style	1m 19s
Post-CI job	0s
	3m 20s