Bump actions/checkout from 3 to 4 #719

Job	Run time
build_windows (windows-latest, 3.8)	1m 56s
build_windows (windows-latest, 3.9)	1m 52s
build_windows (windows-latest, 3.10)	1m 44s
build_windows (windows-latest, 3.11)	1m 46s
build (ubuntu-20.04, 3.8)	1m 59s
build (ubuntu-20.04, 3.9)	2m 53s
build (ubuntu-20.04, 3.10)	2m 26s
build (ubuntu-20.04, 3.11)	2m 12s
build (ubuntu-22.04, 3.8)	1m 53s
build (ubuntu-22.04, 3.9)	2m 7s
build (ubuntu-22.04, 3.10)	2m 55s
build (ubuntu-22.04, 3.11)	2m 2s
build (macos-latest, 3.8)	2m 54s
build (macos-latest, 3.9)	4m 42s
build (macos-latest, 3.10)	3m 39s
build (macos-latest, 3.11)	3m 11s
notify-complete	5s
deploy	0s
	40m 16s

Provide feedback