Skip to content
Snippets Groups Projects

Update CI scripts on Daint: fail early when running in $HOME.

Failed
created pipeline for commit 6717d915
, finished
1 related merge request: !11 Consolidation with CDI-PIO (1.8.x)
branch
11 jobs

Imprint | Privacy Policy