CI

Add imports for *-mono-<= exercise (#1080) #973

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	23m 12s
Build on macOS	27m 17s
Build on Windows	27m 17s
Build with older Agda 2.6.4.3	23m 6s
Build with newer GHC 9.8.2	22m 36s
Build with newer GHC 9.6.6	24m 50s
Build with older GHC 9.2.8	22m 19s
Build with older GHC 9.0.2	25m 7s
Build with older GHC 8.10.7	25m 29s
Publish to GitHub Releases	0s
Publish to GitHub Pages	19s
	3h 41m 32s