Cryptol #2013

Job	Run time
config	7s
build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)	43m 41s
build-push-image (PORTABILITY=true, cryptol-remote-api/Dockerfile, ghcr.io/galoisinc/cryptol-remo...	2m 58s
build-push-image (PORTABILITY=false, cryptol-remote-api/Dockerfile, ghcr.io/galoisinc/cryptol-rem...	37m 25s
build (ubuntu-22.04, 8.10.7, 3.8.1.0, true)	34m 30s
build (ubuntu-22.04, 9.2.8, 3.8.1.0, true)	25m 50s
build (ubuntu-22.04, 9.4.5, 3.8.1.0, true)	29m 23s
build (macos-12, 8.10.7, 3.8.1.0, true)	47m 14s
build (macos-12, 9.2.8, 3.8.1.0, true)	42m 11s
build (macos-12, 9.4.5, 3.8.1.0, true)	40m 25s
build (windows-2019, 9.2.8, 3.8.1.0, true)	47m 9s
build (ubuntu-20.04, 9.2.8, false)	37m 23s
test	1s
	6h 28m 17s

Provide feedback