Merge pull request #62570 from r-ryantm/auto-update/slurm

slurm: 18.08.7.1 -> 19.05.0.1
This commit is contained in:
markuskowa 2019-06-05 14:46:41 +02:00 committed by GitHub
commit 0bf6841a21
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View file

@ -135,8 +135,8 @@ in {
subtest "check_slurm_dbd", sub {
# find the srun job from above in the database
sleep 2;
$submit->succeed("sacct | grep hostname");
sleep 5;
$control->succeed("sacct | grep hostname");
};
'';
})

View file

@ -8,7 +8,7 @@
stdenv.mkDerivation rec {
name = "slurm-${version}";
version = "18.08.7.1";
version = "19.05.0.1";
# N.B. We use github release tags instead of https://www.schedmd.com/downloads.php
# because the latter does not keep older releases.
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
repo = "slurm";
# The release tags use - instead of .
rev = "${builtins.replaceStrings ["."] ["-"] name}";
sha256 = "13asdirygkp0mmi2da0094c9h180nl7nb7nkj4j9d842xzw21454";
sha256 = "0cc1lac7x00s1zz8p9sbaj6zg4yf4ngr0ldszhpxpvykhx9wzfay";
};
outputs = [ "out" "dev" ];