scala-isabelle

Merge pull request #11 from mi-ki/patch-1 #175

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-sc-isa (2023, linux)	3m 20s
test-sc-isa (2023, windows)	5m 55s
test-sc-isa (2023, macos)	7m 57s
test-sc-isa (2022, linux)	3m 20s
test-sc-isa (2022, windows)	5m 28s
test-sc-isa (2022, macos)	12m 6s
test-sc-isa (2021-1, linux)	3m 17s
test-sc-isa (2021-1, windows)	5m 29s
test-sc-isa (2021-1, macos)	16m 37s
test-sc-isa (2021, linux)	3m 9s
test-sc-isa (2021, windows)	4m 55s
test-sc-isa (2021, macos)	11m 39s
test-sc-isa (2020, linux)	3m 8s
test-sc-isa (2020, windows)	4m 46s
test-sc-isa (2020, macos)	9m 39s
test-sc-isa (2019, linux)	3m 15s
test-sc-isa (2019, windows)	4m 38s
test-sc-isa (2019, macos)	7m 59s
publish-snapshot	3m 47s
	2h 0m 24s