Tests

Enable diagnostics in the LeanLineDiagnostics command. #2371

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (macos-latest, stable)	2m 25s
ci (macos-latest, stable)	2m 25s
ci (macos-latest, stable)	2m 25s
ci (macos-latest, nightly)	2m 21s
ci (macos-latest, nightly)	1m 53s
ci (macos-latest, nightly)	1m 58s
ci (ubuntu-latest, stable)	1m 5s
ci (ubuntu-latest, stable)	1m 5s
ci (ubuntu-latest, stable)	1m 5s
ci (ubuntu-latest, nightly)	1m 7s
ci (ubuntu-latest, nightly)	1m 7s
ci (ubuntu-latest, nightly)	1m 7s
release	0s
release	0s
release	0s
	20m 3s