Merge pull request #294430 from Mic92/archivebox

archivebox: fix build
This commit is contained in:
Jörg Thalheim 2024-03-09 23:00:56 +01:00 committed by GitHub
commit 01b6a6fc6f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -43,8 +43,9 @@ let
rev = "e43f383dae3a35237e42f6acfe1207a8e7e7bdf5";
hash = "sha256-NAMa78KhAuoJfp0Cb0Codz84sRfRQ1JhSLNYRI4GBPM=";
};
# possibly a real issue, but that version is not supported anymore
disabledTests = [ "test_should_highlight_bash_syntax_without_name" ];
doCheck = false;
});
};
};