CI

Comment out omitted passage #1226

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build with newer GHC 9.6.6	25m 33s
Build with older GHC 9.2.8	34m 41s
Build on macOS	28m 9s
Build with older Agda 2.6.4.3	27m 30s
Build on Linux	26m 55s
Build with newer GHC 9.8.2	26m 12s
Build on Windows	34m 51s
Build with older GHC 9.0.2	38m 32s
Build with older GHC 8.10.7	33m 45s
Publish to GitHub Pages	0s
Publish to GitHub Releases	-1s
	4h 36m 7s