CI

CI #558

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	18m 48s
Build on macOS	27m 19s
Build on Windows	26m 15s
Build with older Agda 2.6.2.2	21m 7s
Build with older Agda 2.6.2.1	22m 4s
Build with older Agda 2.6.2	23m 41s
Build with older Agda 2.6.1.3	17m 39s
Build with newer GHC 9.6.2	19m 32s
Build with newer GHC 9.4.5	21m 44s
Build with older GHC 9.0.2	49m 9s
Build with older GHC 8.10.7	16m 22s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	4h 23m 40s