CI: delete check_proofs.py script (#223) #1326

Job	Run time
validate (macos-latest, false)	31m 13s
validate (windows-latest, false)	25m 48s
validate (windows-latest, true)	25m 10s
validate (macos-latest, true)	11m 16s
validate (ubuntu-latest, false)	28m 29s
validate (ubuntu-latest, true)	13m 59s
	2h 15m 55s

Navigation Menu