CI

Bump sass from 1.83.0 to 1.83.1 (#1078) #963

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	34m 55s
Build on macOS	42m 6s
Build on Windows	44m 58s
Build with older Agda 2.6.4.3	33m 0s
Build with newer GHC 9.8.2	36m 11s
Build with newer GHC 9.6.6	35m 47s
Build with older GHC 9.2.8	37m 29s
Build with older GHC 9.0.2	45m 14s
Build with older GHC 8.10.7	43m 49s
Publish to GitHub Releases	0s
Publish to GitHub Pages	6m 55s
	6h 0m 24s