CI

Bump sass from 1.80.6 to 1.81.0 #930

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	29m 45s
Build on macOS	32m 59s
Build on Windows	38m 26s
Build with older Agda 2.6.4.3	30m 8s
Build with newer GHC 9.8.2	29m 18s
Build with newer GHC 9.6.6	27m 51s
Build with older GHC 9.2.8	32m 31s
Build with older GHC 9.0.2	41m 31s
Build with older GHC 8.10.7	39m 38s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	5h 2m 7s