Build

Feat: More informative exception message in `lean logs` command (#489) #2051

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (ubuntu-22.04, 3.8)	4m 12s
test (ubuntu-22.04, 3.9)	4m 10s
test (ubuntu-22.04, 3.10)	4m 4s
test (ubuntu-22.04, 3.11)	3m 16s
test (ubuntu-22.04, 3.12)	3m 22s
test (ubuntu-20.04, 3.8)	4m 13s
test (ubuntu-20.04, 3.9)	4m 14s
test (ubuntu-20.04, 3.10)	4m 12s
test (ubuntu-20.04, 3.11)	3m 30s
test (ubuntu-20.04, 3.12)	3m 38s
test (macos-12, 3.8)	9m 15s
test (macos-12, 3.9)	10m 40s
test (macos-12, 3.10)	7m 48s
test (macos-12, 3.11)	7m 34s
test (macos-12, 3.12)	7m 14s
test (macos-13, 3.8)	6m 44s
test (macos-13, 3.9)	7m 37s
test (macos-13, 3.10)	6m 55s
test (macos-13, 3.11)	6m 0s
test (macos-13, 3.12)	6m 17s
test (windows-latest, 3.8)	7m 53s
test (windows-latest, 3.9)	7m 21s
test (windows-latest, 3.10)	8m 40s
test (windows-latest, 3.11)	6m 44s
test (windows-latest, 3.12)	6m 22s
release	0s
portable	0s
invalidate	0s
	2h 31m 55s