Back to pull request #959

Update README.md #664

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	21m 48s
Build on Windows	16m 42s
Build with older Agda 2.6.2.2	14m 56s
Build with older Agda 2.6.2.1	16m 27s
Build with older Agda 2.6.2	17m 8s
Build with older Agda 2.6.1.3	14m 44s
Build with newer GHC 9.6.3	12m 46s
Build with older GHC 9.2.8	12m 49s
Build with older GHC 9.0.2	13m 26s
Build with older GHC 8.10.7	11m 55s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	2h 45m 28s