Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 (#1065) #919

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	28m 34s
Build on macOS	28m 40s
Build on Windows	35m 5s
Build with older Agda 2.6.4.3	28m 59s
Build with newer GHC 9.8.2	28m 12s
Build with newer GHC 9.6.6	27m 42s
Build with older GHC 9.2.8	32m 48s
Build with older GHC 9.0.2	41m 21s
Build with older GHC 8.10.7	40m 6s
Publish to GitHub Releases	0s
Publish to GitHub Pages	16s
	4h 51m 43s