Build & Test

Isabelle2025 #227

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build & Test (ubuntu-latest, 5.1.0)	20m 18s
Build & Test (ubuntu-latest, 4.14.1)	18m 36s
Build & Test (macos-latest, 5.1.0)	25m 56s
Build & Test (macos-latest, 4.14.1)	23m 55s
	1h 28m 45s