Update Github actions to handle Python 3.12

Author: Zsailer

.github/workflows/check-release.yml

@@ -17,6 +17,9 @@ jobs:
         uses: actions/checkout@v4
       - name: Base Setup
         uses: jupyterlab/maintainer-tools/.github/actions/base-setup@v1
+      - name: Install typing_extension for Python 3.12
+        shell: bash
+        run: pip install typing_extensions
       - name: Check Release
         uses: jupyter-server/jupyter_releaser/.github/actions/check-release@v2
         with:

.github/workflows/prep-release.yml

@@ -30,7 +30,9 @@ jobs:
       contents: write
     steps:
       - uses: jupyterlab/maintainer-tools/.github/actions/base-setup@v1
-
+      - name: Install typing_extension for Python 3.12
+        shell: bash
+        run: pip install typing_extensions
       - name: Prep Release
         id: prep-release
         uses: jupyter-server/jupyter_releaser/.github/actions/prep-release@v2

.github/workflows/publish-release.yml

@@ -20,7 +20,9 @@ jobs:
       id-token: write
     steps:
       - uses: jupyterlab/maintainer-tools/.github/actions/base-setup@v1
-
+      - name: Install typing_extension for Python 3.12
+        shell: bash
+        run: pip install typing_extensions
       - uses: actions/create-github-app-token@v1
         id: app-token
         with:

src/command.ts

@@ -28,22 +28,26 @@ export function showCellDiff(
   data: ShowDiff.ICommandArgs,
   cellFooterTracker: ICellFooterTracker
 ) {
-  let diff = createPatchStringDiffModel(data['original_source'], data['diff']);
+  const diff = createPatchStringDiffModel(
+    data['original_source'],
+    data['diff']
+  );
 
-  let mergeView: MergeView;
-  mergeView = new MergeView({ remote: diff });
+  const mergeView = new MergeView({ remote: diff });
   //
   mergeView.addClass('jp-cell-diff');
   // Add the classes below to pick up the styling from nbdime.
   mergeView.addClass('nbdime-root');
   mergeView.addClass('jp-Notebook-diff');
   mergeView.hide();
 
-  let footer = cellFooterTracker.getFooter(data.cell_id);
+  const footer = cellFooterTracker.getFooter(data.cell_id);
   // Try removing any old widget that exists.
   try {
     footer?.removeWidget('jp-cell-diff');
-  } catch {}
+  } finally {
+    // Do Nothing
+  }
 
   footer?.addWidget(mergeView);
 
@@ -80,8 +84,8 @@ export async function fetchDiff(
  */
 export function showCellDiffCommand(cellFooterTracker: ICellFooterTracker) {
   return (args: any) => {
-    let data: ShowDiff.ICommandArgs = args as any;
-    let cellId = data['cell_id'];
+    const data: ShowDiff.ICommandArgs = args as any;
+    const cellId = data['cell_id'];
     if (cellId) {
       if (data && data['original_source'] && data['diff']) {
         showCellDiff(data, cellFooterTracker);