Fix/slurm mutually exclusive options#170

Merged

n-gao merged 9 commits into

TUM-DAML:masterfrom

Grutschus:fix/slurm-mutually-exclusive-options

May 21, 2026

Commits on Feb 25, 2026

Commits on Apr 20, 2026

Commits on May 18, 2026

add REMOVE sentinel to unset inherited config keys

Grutschus
and
claude
committed
auto-remove conflicting sbatch options on config merge

Grutschus
and
claude
committed

Commits on May 21, 2026