Back to pull request #1793

Add project and docstring checking functions to cryptol-remote-api #3071

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
config	5s
build-push-image	0s
build (ubuntu-22.04, 9.4.8, 3.10.3.0, true)	6m 13s
build (ubuntu-22.04, 9.6.5, 3.10.3.0, true)	6m 49s
build (ubuntu-22.04, 9.8.2, 3.10.3.0, true)	6m 49s
build (ubuntu-20.04, 9.4.8, false)	5m 41s
build (windows-2019, 9.4.8, true)	9m 1s
build (macos-13, 9.4.8, true)	11m 1s
build (macos-14, 9.4.8, true)	7m 11s
test	0s
	52m 50s