CI

CI #554

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	14m 15s
Build on macOS	27m 14s
Build on Windows	18m 28s
Build with older Agda 2.6.2.2	16m 35s
Build with older Agda 2.6.2.1	18m 5s
Build with older Agda 2.6.2	18m 30s
Build with older Agda 2.6.1.3	22m 0s
Build with newer GHC 9.6.2	16m 21s
Build with newer GHC 9.4.5	18m 22s
Build with older GHC 9.0.2	49m 3s
Build with older GHC 8.10.7	13m 40s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	3h 52m 33s