CI

Bump html-validate from 8.6.0 to 8.7.0 #553

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	19m 15s
Build on macOS	22m 28s
Build on Windows	19m 15s
Build with older Agda 2.6.2.2	17m 41s
Build with older Agda 2.6.2.1	17m 36s
Build with older Agda 2.6.2	23m 39s
Build with older Agda 2.6.1.3	19m 39s
Build with newer GHC 9.6.2	15m 34s
Build with newer GHC 9.4.5	14m 44s
Build with older GHC 9.0.2	37m 33s
Build with older GHC 8.10.7	17m 24s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	3h 44m 48s