Build

Merge pull request #291 from upb-lea/nightly #386

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-doc	2m 11s
test-code (3.11)	1m 24s
test-code (3.12)	1m 20s
test-code (3.13)	1m 22s
test-code (3.10)	1m 23s
test-code (3.9)	1m 21s
build-doc	2m 25s
test-code (3.10)	1m 23s
test-code (3.11)	1m 24s
test-code (3.9)	1m 21s
test-code (3.13)	1m 22s
test-code (3.12)	1m 20s
	18m 16s