Merge branch 'erg-lang:main' into main #90

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	38s
publish-nightly	0s
build-check (windows-latest)	2m 18s
build-check (ubuntu-latest)	1m 4s
test (windows-latest, 3.7)	4m 1s
build-check (macos-13)	1m 58s
test (windows-latest, 3.8)	4m 50s
build-check (macos-latest)	48s
test (windows-latest, 3.9)	3m 52s
test (windows-latest, 3.10)	4m 52s
test (windows-latest, 3.11.3)	4m 35s
test (ubuntu-latest, 3.7)	2m 24s
test (ubuntu-latest, 3.8)	2m 20s
test (ubuntu-latest, 3.9)	2m 19s
test (ubuntu-latest, 3.10)	2m 16s
test (ubuntu-latest, 3.11.3)	2m 34s
test (macos-13, 3.7)	5m 0s
test (macos-13, 3.8)	3m 20s
test (macos-13, 3.9)	4m 12s
test (macos-13, 3.10)	3m 15s
test (macos-13, 3.11.3)	3m 52s
	1h 0m 28s