CI

Bump sass from 1.69.7 to 1.70.0 #644

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	21m 11s
Build on macOS	21m 17s
Build on Windows	20m 54s
Build with older Agda 2.6.2.2	21m 11s
Build with older Agda 2.6.2.1	21m 11s
Build with older Agda 2.6.2	21m 11s
Build with older Agda 2.6.1.3	21m 13s
Build with newer GHC 9.6.3	20m 53s
Build with older GHC 9.2.8	21m 13s
Build with older GHC 9.0.2	21m 12s
Build with older GHC 8.10.7	21m 11s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	3h 52m 37s