Build and publish RHEL docker images

Add pinocchio to rhel and debian images #77

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build_images (humble, rhel8)	3m 6s
build_images (kilted, rhel9)	9m 56s
build_images (rolling, rhel9)	9m 38s
build_images (jazzy, rhel9)	3m 15s
	25m 55s