CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	16m 19s
Build on macOS	16m 15s
Build on Windows	16m 12s
Build with older Agda 2.6.2.2	16m 23s
Build with older Agda 2.6.2.1	16m 28s
Build with older Agda 2.6.2	16m 24s
Build with older Agda 2.6.1.3	16m 21s
Build with newer GHC 9.6.2	14m 0s
Build with newer GHC 9.4.5	16m 1s
Build with older GHC 9.0.2	16m 14s
Build with older GHC 8.10.7	15m 53s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	2h 56m 30s