rarias/jungle
2
0
Fork 3
Code Issues 58 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

WIP: Remove blobs and split website in another repository #186

Closed
rarias wants to merge 458 commits from remove-website into old-master
pull from: remove-website
merge into: rarias:old-master
Conversation 1 Commits 458 Files Changed 143 +1
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 08666ddb5c - Show all commits

1
common/slurm.nix
View File

@@ -10,6 +10,7 @@
];
extraConfig = ''
MpiDefault=pmix
ReturnToService=2
'';
};
}