Back to pull request #1025

document .gitignore. Add .DS_Store to it while at it. #809

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	12m 47s
Build on macOS	12m 44s
Build on Windows	16m 2s
Build with older Agda 2.6.4.3	12m 20s
Build with newer GHC 9.8.2	9m 55s
Build with newer GHC 9.6.6	12m 33s
Build with older GHC 9.2.8	11m 10s
Build with older GHC 9.0.2	29m 43s
Build with older GHC 8.10.7	28m 26s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	2h 25m 40s