Also fix website workflow #1225

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Windows	5m 48s
'++2.12.12! test' 8	3m 55s
Website	2m 8s
'++2.12.18 test' 8	2m 37s
Scalafmt	17s
'++2.13.12 test' 8	2m 24s
'++3.1.3 test' 8	2m 31s
scripted 8	6m 49s
'++2.12.12! test' 11	3m 0s
'++2.12.18 test' 11	3m 21s
'++2.13.12 test' 11	2m 31s
'++3.1.3 test' 11	3m 45s
scripted 11	8m 18s
'++2.12.12! test' 17	3m 37s
'++2.12.18 test' 17	3m 49s
'++2.13.12 test' 17	2m 47s
'++3.1.3 test' 17	3m 18s
scripted 17	8m 21s
	1h 9m 16s