CI

SectionRename: no curried arg lists in annotations #511

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-22.04 jdk-8 tests	4m 22s
checks	3m 1s
ubuntu-22.04 jdk-11 tests	4m 40s
windows-2019 jdk-11 tests	8m 16s
	20m 19s