CI

Fix extracting label numbers when using ntheorem (#1054) #916

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MSRV	15s
Coverage	50s
Build (windows-latest)	1m 12s
Build (macos-latest)	51s
Build (ubuntu-latest)	29s
	3m 37s