Bump actions/checkout from 3 to 4 #548

Job	Run time
build (ubuntu-latest, 11, temurin)	4m 0s
build (ubuntu-latest, 11, semeru)	4m 30s
build (ubuntu-latest, 17, temurin)	2m 59s
build (ubuntu-latest, 17, semeru)	5m 14s
build (ubuntu-latest, 20, temurin)	3m 0s
build (ubuntu-latest, 20, semeru)	4m 28s
build (windows-latest, 11, temurin)	7m 12s
build (windows-latest, 11, semeru)	5m 19s
build (windows-latest, 17, temurin)	6m 19s
build (windows-latest, 17, semeru)	5m 57s
build (windows-latest, 20, temurin)	6m 14s
build (windows-latest, 20, semeru)	6m 11s
build (macOS-latest, 11, temurin)	4m 14s
build (macOS-latest, 17, temurin)	4m 17s
build (macOS-latest, 20, temurin)	7m 40s
	1h 17m 34s

Provide feedback