Bump braces from 3.0.2 to 3.0.3 #763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	21m 45s
Build on macOS	24m 9s
Build on Windows	25m 54s
Build with older Agda 2.6.2.2	23m 27s
Build with older Agda 2.6.2.1	24m 4s
Build with older Agda 2.6.2	24m 14s
Build with older Agda 2.6.1.3	21m 55s
Build with newer GHC 9.6.3	20m 31s
Build with older GHC 9.2.8	21m 36s
Build with older GHC 9.0.2	23m 12s
Build with older GHC 8.10.7	24m 28s
Publish to GitHub Pages	0s
Publish to GitHub Releases	0s
	4h 15m 15s