Merge pull request #282446 from panicgh/ebpf-verifier-pin-catch2_3

ebpf-verifier: re-pin to nixpkgs catch2_3 sources
This commit is contained in:
Mario Rodas 2024-01-30 08:36:38 -05:00 committed by GitHub
commit 99780dd914
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -648,14 +648,7 @@ with pkgs;
eclipse-mat = callPackage ../development/tools/eclipse-mat { };
ebpf-verifier = callPackage ../tools/networking/ebpf-verifier {
# Replace this to `catch2 = catch2_3` when catch2 3.4.0 is merged
# https://github.com/NixOS/nixpkgs/pull/243485
catch2.src = fetchFromGitHub {
owner = "catchorg";
repo = "Catch2";
rev = "v3.4.0";
hash = "sha256-DqGGfNjKPW9HFJrX9arFHyNYjB61uoL6NabZatTWrr0=";
};
catch2 = catch2_3;
};
edgedb = callPackage ../tools/networking/edgedb {