scala-isabelle

Version to 0.4.3-RC1. #205

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-sc-isa (2024, linux)	3m 22s
test-sc-isa (2024, windows)	5m 16s
test-sc-isa (2024, macos)	9m 32s
test-sc-isa (2023, linux)	3m 12s
test-sc-isa (2023, windows)	5m 20s
test-sc-isa (2023, macos)	8m 33s
test-sc-isa (2022, linux)	3m 15s
test-sc-isa (2022, windows)	5m 19s
test-sc-isa (2022, macos)	12m 29s
test-sc-isa (2021-1, linux)	3m 26s
test-sc-isa (2021-1, windows)	5m 14s
test-sc-isa (2021-1, macos)	15m 19s
test-sc-isa (2021, linux)	3m 10s
test-sc-isa (2021, windows)	4m 42s
test-sc-isa (2021, macos)	10m 34s
test-sc-isa (2020, linux)	3m 4s
test-sc-isa (2020, windows)	4m 42s
test-sc-isa (2020, macos)	9m 0s
test-sc-isa (2019, linux)	3m 4s
test-sc-isa (2019, windows)	4m 42s
test-sc-isa (2019, macos)	8m 49s
publish-snapshot	0s
	2h 12m 4s