CI

Bump html-validate from 10.9.0 to 10.13.1 #1310

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on macOS	3m 25s
Build on Linux	3m 6s
Build with newer GHC 9.8.2	3m 6s
Build on Windows	2m 54s
Build with older Agda 2.6.4.3	3m 5s
Build with newer GHC 9.6.6	3m 6s
Build with older GHC 8.10.7	2m 54s
Build with older GHC 9.0.2	2m 49s
Build with older GHC 9.2.8	2m 55s
Publish to GitHub Pages	0s
Publish to GitHub Releases	-1s
	27m 19s