Bump bumpver from 2023.1129 to 2024.1130 (#1064) #921

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on Linux	28m 56s
Build on macOS	27m 42s
Build on Windows	35m 25s
Build with older Agda 2.6.4.3	28m 36s
Build with newer GHC 9.8.2	28m 22s
Build with newer GHC 9.6.6	28m 35s
Build with older GHC 9.2.8	33m 44s
Build with older GHC 9.0.2	40m 16s
Build with older GHC 8.10.7	39m 58s
Publish to GitHub Releases	0s
Publish to GitHub Pages	18s
	4h 51m 52s