Add warning about `C-space` on Mac #729

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	27m 32s
Build on macOS	30m 36s
Build on Windows	31m 40s
Build with older Agda 2.6.2.2	28m 50s
Build with older Agda 2.6.2.1	29m 34s
Build with older Agda 2.6.2	30m 28s
Build with older Agda 2.6.1.3	28m 20s
Build with newer GHC 9.6.3	24m 41s
Build with older GHC 9.2.8	28m 16s
Build with older GHC 9.0.2	39m 0s
Build with older GHC 8.10.7	36m 26s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	5h 35m 23s