CI

Bump sass from 1.69.5 to 1.69.6 #620

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	11m 7s
Build on macOS	25m 59s
Build on Windows	17m 6s
Build with older Agda 2.6.2.2	12m 50s
Build with older Agda 2.6.2.1	14m 51s
Build with older Agda 2.6.2	14m 25s
Build with older Agda 2.6.1.3	14m 23s
Build with newer GHC 9.6.2	12m 54s
Build with newer GHC 9.4.5	12m 1s
Build with older GHC 9.0.2	11m 35s
Build with older GHC 8.10.7	11m 25s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	2h 38m 36s