CI

Typo fix in pp.mli #55

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (macos-latest, 5.2.x)	7m 50s
build (macos-latest, 4.14.x)	7m 18s
build (macos-latest, 4.13.x)	6m 5s
build (ubuntu-latest, 5.2.x)	6m 26s
build (ubuntu-latest, 4.14.x)	6m 16s
build (ubuntu-latest, 4.13.x)	5m 52s
build (windows-latest, 5.2.x)	15m 45s
build (windows-latest, 4.14.x)	13m 14s
build (windows-latest, 4.13.x)	15m 50s
build (4.12.x, ubuntu-latest)	6m 1s
build (4.12.x, macos-latest)	7m 15s
build (4.11.x, ubuntu-latest)	6m 14s
build (4.10.x, ubuntu-latest)	6m 17s
build (4.10.x, macos-latest)	8m 4s
build (4.08.x, ubuntu-latest)	6m 5s
	2h 4m 32s