CI

Minor additional update to tspl-2023-10-19 #557

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	19m 13s
Build on macOS	22m 28s
Build on Windows	19m 42s
Build with older Agda 2.6.2.2	22m 27s
Build with older Agda 2.6.2.1	24m 20s
Build with older Agda 2.6.2	22m 5s
Build with older Agda 2.6.1.3	20m 45s
Build with newer GHC 9.6.2	16m 9s
Build with newer GHC 9.4.5	15m 13s
Build with older GHC 9.0.2	39m 6s
Build with older GHC 8.10.7	16m 26s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	3h 57m 54s