CI #675

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	21m 30s
Build on macOS	33m 5s
Build on Windows	27m 19s
Build with older Agda 2.6.2.2	25m 12s
Build with older Agda 2.6.2.1	25m 3s
Build with older Agda 2.6.2	25m 58s
Build with older Agda 2.6.1.3	24m 46s
Build with newer GHC 9.6.3	20m 11s
Build with older GHC 9.2.8	23m 16s
Build with older GHC 9.0.2	27m 12s
Build with older GHC 8.10.7	25m 10s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	4h 38m 42s