Cryptol #2270

Job	Run time
config	6s
build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)	24m 31s
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true)	9m 0s
build-push-image (PORTABILITY=true, cryptol-remote-api/Dockerfile, ghcr.io/galoisinc/cryptol-remo...	3m 13s
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true)	4m 32s
build-push-image (PORTABILITY=false, cryptol-remote-api/Dockerfile, ghcr.io/galoisinc/cryptol-rem...	23m 16s
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true)	4m 44s
build (macos-12, 9.2.8, 3.10.1.0, true)	42s
build (macos-12, 9.4.7, 3.10.1.0, true)	46s
build (macos-12, 9.6.2, 3.10.1.0, true)	7m 11s
build (windows-2019, 9.2.8, 3.10.1.0, true)	11m 22s
build (ubuntu-20.04, 9.2.8, false)	6m 24s
test	0s
	1h 35m 47s

Provide feedback