Repository navigation

CI

Bump fast-uri from 3.1.5 to 3.1.7 (#1226) #1389

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build with older Agda 2.6.4.3	37m 9s
Build with older GHC 9.10.3	35m 54s
Build on Windows	42m 52s
Build with older GHC 9.8.4	36m 52s
Build with older GHC 9.6.7	26m 59s
Build on macOS	41m 51s
Build on Linux	31m 5s
Publish to GitHub Pages	34s
Publish to GitHub Releases	0s
	4h 13m 16s