Fix linter complaint

abs/src/extension.ts

@@ -85,7 +85,7 @@ export function activate(context: vscode.ExtensionContext) {
                         compileOutput.appendLine("ABS compilation finished.");
                     }
                 });
-    }
+    };
 
     context.subscriptions.push(vscode.commands.registerCommand("abs.compile", compileCommandHandler));
 }

notes.org

@@ -0,0 +1,34 @@
+#+Title: Notes for Project
+#+TODO: TODO | DONE
+#+TODO: | ARCHIVED
+#+Time-stamp: <2024-12-16 15:39>
+
+* TODOs [0/1]
+
+** TODO Publish on Marketplace, OpenVSX
+
+https://github.com/eclipse/openvsx/wiki
+
+#+begin_src yaml
+    - name: Publish to Marketplace
+      run: vsce publish --pat "${{ secrets.VSCODE_MARKETPLACE_TOKEN }}"
+    - name: Publish to Open VSX
+      run: npx ovsx publish "vscode-tlaplus-${{ steps.version.outputs.version }}.vsix" -p "${{ secrets.OPEN_VSX_TOKEN }}"
+#+end_src
+
+* How to release
+
+- If we stay with jj, via the web interface.
+
+#+begin_src sh
+# push with auto-generate branch name:
+jj git push -c @ # or -c @- if we are on an empty commit
+
+# Update pull request / branch:
+jj bookmark move <branchname> <revision-name, probably @>
+jj git push
+
+# Update from main
+jj git fetch
+jj rebase -d <master bookmark>
+#+end_src