Dev Docker

Ensure HOME is always set when running khiops core with OpenMPI 5+ #565

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-push (debian13)	8s
build-push (ubuntu22.04)	9s
build-push (rocky9)	12s
build-push (rocky8)	8s
	37s