CI

Bump actions/download-artifact from 6 to 7 #1177

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	24m 36s
Build with older GHC 9.2.8	50m 13s
Build on macOS	36m 34s
Build with newer GHC 9.6.6	21m 52s
Build with older GHC 9.0.2	31m 39s
Build with newer GHC 9.8.2	24m 55s
Build with older GHC 8.10.7	26m 36s
Build with older Agda 2.6.4.3	1h 28m 26s
Build on Windows	29m 1s
Publish to GitHub Pages	0s
Publish to GitHub Releases	-1s
	5h 33m 51s