Cryptol #2286

Job	Run time
config	6s
build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)	37s
build (ubuntu-22.04, 9.2.8, 3.10.1.0, true)	7m 12s
build-push-image (PORTABILITY=true, cryptol-remote-api/Dockerfile, ghcr.io/galoisinc/cryptol-remo...	7m 8s
build (ubuntu-22.04, 9.4.7, 3.10.1.0, true)	4m 11s
build-push-image (PORTABILITY=false, cryptol-remote-api/Dockerfile, ghcr.io/galoisinc/cryptol-rem...	7m 26s
build (ubuntu-22.04, 9.6.2, 3.10.1.0, true)	4m 28s
build (macos-12, 9.2.8, 3.10.1.0, true)	9m 21s
build (macos-12, 9.4.7, 3.10.1.0, true)	1m 18s
build (macos-12, 9.6.2, 3.10.1.0, true)	11m 58s
build (windows-2019, 9.2.8, 3.10.1.0, true)	10m 14s
build (ubuntu-20.04, 9.2.8, false)	6m 38s
test	0s
	1h 10m 37s

Provide feedback