Skip to content

Commit

Permalink
Update for Pyright chunk name fix
Browse files Browse the repository at this point in the history
  • Loading branch information
microbit-matt-hillsdon committed Aug 23, 2024
1 parent c6ebbd3 commit c160e5a
Show file tree
Hide file tree
Showing 8 changed files with 7 additions and 6 deletions.

Large diffs are not rendered by default.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 3 additions & 0 deletions public/workers/pyright-main-732a35e9ffa0a3bb98be.worker.js

Large diffs are not rendered by default.

Large diffs are not rendered by default.

3 changes: 0 additions & 3 deletions public/workers/pyright-main-db3fc546b202a87ccff7.worker.js

This file was deleted.

This file was deleted.

2 changes: 1 addition & 1 deletion src/language-server/pyright.ts
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ import { createUri, LanguageServerClient } from "./client";
import { CreateToastFnReturn } from "@chakra-ui/react";

// This is modified by bin/update-pyright.sh
const workerScriptName = "pyright-main-db3fc546b202a87ccff7.worker.js";
const workerScriptName = "pyright-main-732a35e9ffa0a3bb98be.worker.js";

// Very simple cache to avoid React re-creating pointlessly in development.
let counter = 0;
Expand Down

0 comments on commit c160e5a

Please sign in to comment.