CI

Bump sass from 1.83.1 to 1.83.4 #974

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	24m 54s
Build on macOS	26m 33s
Build on Windows	31m 29s
Build with older Agda 2.6.4.3	24m 51s
Build with newer GHC 9.8.2	24m 3s
Build with newer GHC 9.6.6	26m 5s
Build with older GHC 9.2.8	24m 45s
Build with older GHC 9.0.2	30m 10s
Build with older GHC 8.10.7	28m 1s
Publish to GitHub Releases	0s
Publish to GitHub Pages	0s
	4h 0m 51s