scala-isabelle

Added javaBooleanConverter etc. to have converters matching Java's bo… #184

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-sc-isa (2023, linux)	3m 39s
test-sc-isa (2023, windows)	6m 2s
test-sc-isa (2023, macos)	8m 25s
test-sc-isa (2022, linux)	3m 42s
test-sc-isa (2022, windows)	5m 49s
test-sc-isa (2022, macos)	10m 45s
test-sc-isa (2021-1, linux)	3m 47s
test-sc-isa (2021-1, windows)	5m 34s
test-sc-isa (2021-1, macos)	15m 44s
test-sc-isa (2021, linux)	3m 29s
test-sc-isa (2021, windows)	5m 2s
test-sc-isa (2021, macos)	11m 18s
test-sc-isa (2020, linux)	3m 24s
test-sc-isa (2020, windows)	4m 51s
test-sc-isa (2020, macos)	11m 9s
test-sc-isa (2019, linux)	3m 48s
test-sc-isa (2019, windows)	5m 34s
test-sc-isa (2019, macos)	10m 4s
publish-snapshot	3m 50s
	2h 5m 56s