Build MAGMA for Windows

chore: Update CI workflow versions to use latest checkout (removes deprecation warning) #119

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-windows-magma (118, Release)	1h 31m 25s
build-windows-magma (118, Debug)	1h 39m 13s
build-windows-magma (121, Release)	1h 25m 0s
build-windows-magma (121, Debug)	1h 23m 27s
push-windows-magma	0s
	5h 59m 5s