CI

Bump GHC and Agda versions. (#1201) #1322

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build with older Agda 2.6.4.3	33m 10s
Build on Linux	33m 29s
Build with older GHC 9.6.7	35m 11s
Build with older GHC 9.10.3	34m 56s
Build with older GHC 9.8.4	40m 57s
Build on macOS	43m 46s
Build on Windows	40m 20s
Publish to GitHub Pages	40s
Publish to GitHub Releases	0s
	4h 22m 29s