CI

Bump sass from 1.69.6 to 1.69.7 #634

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	12m 26s
Build on macOS	24m 15s
Build on Windows	15m 50s
Build with older Agda 2.6.2.2	15m 36s
Build with older Agda 2.6.2.1	15m 20s
Build with older Agda 2.6.2	15m 23s
Build with older Agda 2.6.1.3	14m 33s
Build with newer GHC 9.6.3	11m 13s
Build with older GHC 9.2.8	11m 32s
Build with older GHC 9.0.2	29m 11s
Build with older GHC 8.10.7	34m 17s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	3h 19m 36s