Merge pull request #36 from runtimeverification/raoul/fix-github-login-prompt

Auto prompt users for GitHub credentials

Author: RaoulSchaffranek

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 All notable changes to the "Simbolik VSCode" extension will be documented in this file.
 
+## [6.0.2] - 2025-03-03
+
+- Automatically prompts users without API keys to authenticate via GitHub
+
 ## [6.0.1] - 2025-02-20
 
 - Fixed several spelling and grammar issues in the README file.

package-lock.json

@@ -11,7 +11,7 @@
   },
   "publisher": "runtimeverification",
   "description": "Advanced Solidity and EVM Debugger",
-  "version": "6.0.1",
+  "version": "6.0.2",
   "engines": {
     "vscode": "^1.79.0"
   },

package.json

@@ -27,10 +27,10 @@ export async function startDebugging(
     location: vscode.ProgressLocation.Notification,
     title: "Simbolik"
   }, async (progress) => {
-    const apiKey = getConfigValue('api-key', '')
+    const apiKey = getConfigValue<string>('api-key', 'valid-api-key')
 
     let credentials: Credentials;
-    if (apiKey) {
+    if (apiKey !== 'valid-api-key' && apiKey !== '') {
       credentials = { provider: 'simbolik', token: apiKey };
     } else {
       const session = await vscode.authentication.getSession('github', ['user:email'], {