CI

Bump softprops/action-gh-release from 2 to 3 (#1188) #1309

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Windows	45m 30s
Build with older Agda 2.6.4.3	13m 43s
Build with newer GHC 9.8.2	13m 58s
Build on Linux	1h 31m 10s
Build on macOS	27m 55s
Build with older GHC 9.0.2	12m 52s
Build with older GHC 8.10.7	12m 37s
Build with older GHC 9.2.8	12m 13s
Build with newer GHC 9.6.6	13m 58s
Publish to GitHub Pages	23s
Publish to GitHub Releases	0s
	4h 4m 19s