Skip to content
Snippets Groups Projects
Commit 1bc5e581 authored by Sergey Kosukhin's avatar Sergey Kosukhin
Browse files

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

parent 63ef5828
No related branches found
Tags cdi-2.4.2
No related merge requests found
Pipeline #20200 failed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment