docker

CHERI-CI: updating test after e0640bcc7384a8dd876672ed2fd227ac9cac498b #37

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
deploy-docker (linux/amd64)	20m 56s
deploy-docker (linux/arm64)	1h 10m 21s
	1h 31m 17s