Remove requirement for pattern matching in `×-comm` and `×-assoc` (#1… #905

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	29m 7s
Build on macOS	30m 5s
Build on Windows	36m 10s
Build with older Agda 2.6.4.3	29m 50s
Build with newer GHC 9.8.2	28m 4s
Build with newer GHC 9.6.6	29m 51s
Build with older GHC 9.2.8	33m 26s
Build with older GHC 9.0.2	41m 43s
Build with older GHC 8.10.7	40m 15s
Publish to GitHub Releases	0s
Publish to GitHub Pages	39s
	4h 59m 10s