update Assignment2, remove Base (#1046) #862

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	24m 19s
Build on macOS	26m 20s
Build on Windows	29m 38s
Build with older Agda 2.6.4.3	25m 9s
Build with newer GHC 9.8.2	22m 51s
Build with newer GHC 9.6.6	22m 43s
Build with older GHC 9.2.8	25m 23s
Build with older GHC 9.0.2	36m 15s
Build with older GHC 8.10.7	34m 38s
Publish to GitHub Releases	0s
Publish to GitHub Pages	18s
	4h 7m 34s