CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest, gcc, 10)	1m 52s
build (ubuntu-latest, gcc, 11)	1m 45s
build (ubuntu-latest, gcc, 12)	2m 23s
build (ubuntu-latest, gcc, 13)	2m 43s
build (macos-12, gcc, 10)	3m 34s
build (macos-12, gcc, 11)	3m 31s
build (macos-12, gcc, 12)	3m 25s
build (windows-latest, gcc, 10)	6m 16s
build (windows-latest, gcc, 11)	10m 16s
build (windows-latest, gcc, 12)	4m 23s
build (windows-latest, gcc, 13)	10m 11s
make-installer	0s
upload-artifacts	0s
	50m 19s