Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 #772

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	34m 24s
Build on macOS	36m 5s
Build on Windows	43m 40s
Build with older Agda 2.6.2.2	33m 13s
Build with older Agda 2.6.2.1	35m 5s
Build with older Agda 2.6.2	35m 0s
Build with older Agda 2.6.1.3	35m 30s
Build with newer GHC 9.6.3	35m 35s
Build with older GHC 9.2.8	37m 18s
Build with older GHC 9.0.2	45m 48s
Build with older GHC 8.10.7	42m 34s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	6h 54m 12s