Merge branch 'main' into main

This commit is contained in:
Farouk Brown 2025-05-03 18:04:20 +01:00 committed by GitHub
commit e946799757
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
19 changed files with 317 additions and 108 deletions

View file

@ -14,7 +14,7 @@
env.RUSTC_BOOTSTRAP = true;
useFetchCargoVendor = true;
cargoHash = "sha256-MWElqh7ENJ6CbLOnvz0DsP5YYu+e+y12GSUOfW1IKGU=";
cargoHash = "sha256-IDoDugtNWQovfSstbVMkKHLBXKa06lxRWmywu4zyS3M=";
nativeBuildInputs = [gitMinimal];
};