CI

Bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0 #600

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	11m 55s
Build on macOS	27m 54s
Build on Windows	37m 15s
Build with older Agda 2.6.2.2	14m 25s
Build with older Agda 2.6.2.1	15m 27s
Build with older Agda 2.6.2	16m 3s
Build with older Agda 2.6.1.3	14m 19s
Build with newer GHC 9.6.2	12m 36s
Build with newer GHC 9.4.5	13m 4s
Build with older GHC 9.0.2	23m 30s
Build with older GHC 8.10.7	11m 12s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	3h 17m 40s