CI

Bump JamesIves/github-pages-deploy-action from 3.7.1 to 4.7.1 #2449

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest, gcc, 10)	2m 5s
build (ubuntu-latest, gcc, 11)	1m 45s
build (ubuntu-latest, gcc, 12)	2m 30s
build (ubuntu-latest, gcc, 13)	2m 28s
build (macos-12, gcc, 10)	3m 28s
build (macos-12, gcc, 11)	3m 51s
build (macos-12, gcc, 12)	3m 34s
build (windows-latest, gcc, 10)	10m 24s
build (windows-latest, gcc, 11)	7m 56s
build (windows-latest, gcc, 12)	3m 26s
build (windows-latest, gcc, 13)	9m 49s
make-installer (10)	44s
make-installer (11)	46s
make-installer (12)	47s
upload-artifacts	4s
	53m 37s