Add reboot pathway to CI (#730) #9

Job	Run time
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	42m 11s
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	42m 11s
ci (a6osx, macos-12)	17m 18s
ci (a6osx, macos-12)	17m 18s
ci (ta6osx, macos-12)	31s
ci (ta6osx, macos-12)	21m 6s
ci (i3le, ubuntu-22.04)	18m 49s
ci (i3le, ubuntu-22.04)	18m 49s
ci (ti3le, ubuntu-22.04)	21m 25s
ci (ti3le, ubuntu-22.04)	21m 25s
ci (a6le, ubuntu-22.04)	13m 50s
ci (a6le, ubuntu-22.04)	13m 50s
ci (ta6le, ubuntu-22.04)	21m 41s
ci (ta6le, ubuntu-22.04)	21m 41s
ci (ta6le, ubuntu-22.04, reboot, -m=ta6le --force, re.boot SCHEME="chezscheme", test-some-fast)	18m 29s
ci (ta6le, ubuntu-22.04, reboot, -m=ta6le --force, re.boot SCHEME="chezscheme", test-some-fast)	18m 29s
ci (i3nt, windows-2022, vs)	29m 12s
ci (i3nt, windows-2022, vs)	29m 12s
ci (ti3nt, windows-2022, vs)	35m 48s
ci (ti3nt, windows-2022, vs)	35m 48s
ci (a6nt, windows-2022, vs)	32m 58s
ci (a6nt, windows-2022, vs)	32m 58s
ci (ta6nt, windows-2022, vs)	37m 40s
ci (ta6nt, windows-2022, vs)	37m 40s
ci (ta6nt, windows-2022, gcc)	26m 24s
ci (ta6nt, windows-2022, gcc)	26m 24s
	10h 53m 7s

Provide feedback