Merge pull request #291092 from r-ryantm/auto-update/vscode-extensions.chenglou92.rescript-vscode

vscode-extensions.chenglou92.rescript-vscode: 1.16.0 -> 1.42.0
This commit is contained in:
Nick Cao 2024-03-06 09:15:46 -05:00 committed by GitHub
commit e1e7689121
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,6 +1,6 @@
{ lib, stdenv, vscode-utils, callPackage }:
let
version = "1.16.0";
version = "1.42.0";
rescript-editor-analysis = callPackage ./rescript-editor-analysis.nix { inherit version; };
arch =
if stdenv.isLinux then "linux"
@ -13,7 +13,7 @@ vscode-utils.buildVscodeMarketplaceExtension rec {
name = "rescript-vscode";
publisher = "chenglou92";
inherit version;
sha256 = "sha256-JoC9+NkbLAZXkOKDDMB0Xgzmn+w90pHcokerMrdACi4=";
sha256 = "sha256-Po7zuppr8EHSfg2sDzkNn0KARncsiNVPoRsd25zc/xg=";
};
postPatch = ''
rm -r ${analysisDir}