CI

Bump html-validate from 8.5.0 to 8.6.0 #532

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	16m 56s
Build on macOS	28m 6s
Build on Windows	19m 42s
Build with older Agda 2.6.2.2	17m 19s
Build with older Agda 2.6.2.1	23m 4s
Build with older Agda 2.6.2	18m 54s
Build with older Agda 2.6.1.3	16m 3s
Build with newer GHC 9.6.2	19m 36s
Build with newer GHC 9.4.5	13m 41s
Build with older GHC 9.0.2	41m 42s
Build with older GHC 8.10.7	13m 18s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	3h 48m 21s