CI

Bump sass from 1.80.6 to 1.81.0 (#1068) #935

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	30m 2s
Build on macOS	33m 28s
Build on Windows	38m 59s
Build with older Agda 2.6.4.3	30m 8s
Build with newer GHC 9.8.2	29m 24s
Build with newer GHC 9.6.6	30m 13s
Build with older GHC 9.2.8	34m 1s
Build with older GHC 9.0.2	41m 32s
Build with older GHC 8.10.7	39m 55s
Publish to GitHub Releases	0s
Publish to GitHub Pages	17s
	5h 7m 59s