Dev Docker

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

Sign in to view logs

Triggered via pull request December 4, 2025 09:04

tramora

synchronize #507

506-fix-home-for-openmpi5

Status Success

Total duration 5m 8s

Artifacts –

dev-docker.yml

on: pull_request

Matrix: build-push