CI

GitHub CI: Remove macos-12, add macos-15 #4

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build doc: macos-13	9m 36s
Build macos-13	27s
Build ubuntu-20.04	16s
Build macos-14	18s
Build doc: macos-14	5m 43s
Build ubuntu-22.04	15s
Build macos-15	18s
Build ubuntu-24.04	10s
Build doc: macos-15	5m 36s
Build doc: ubuntu-20.04	2m 15s
Build doc: ubuntu-22.04	1m 58s
Build doc: ubuntu-24.04	2m 38s
Test ubuntu-20.04	1m 50s
Test ubuntu-22.04	1m 47s
Test ubuntu-24.04	1m 52s
Test macos-13	1m 12s
Test macos-14	55s
Test macos-15	48s
	37m 54s