...

neu-se · Jan 29, 2025 · 87094ea · 87094ea
1 parent 075789e
commit 87094ea
Show file tree

Hide file tree

Showing 15 changed files with 9,982 additions and 1,790 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,7 @@
 name: Continuous Integration
 permissions:
   id-token: write # This is required for requesting the JWT
-  contents: read  # This is required for actions/checkout
+  contents: read # This is required for actions/checkout
 
 on:
   pull_request:

diff --git a/.github/workflows/run-action.yml b/.github/workflows/run-action.yml
@@ -14,4 +14,4 @@ jobs:
       - name: Run the autograder action
         uses: ./
         with:
-          grading_server: 'https://khoury-classroom-dev.ngrok.pizza'
+          grading_server: 'https://khoury-classroom-dev.ngrok.pizza'
diff --git a/dist/api/adminServiceComponents.d.ts b/dist/api/adminServiceComponents.d.ts
diff --git a/dist/api/adminServiceFetcher.d.ts b/dist/api/adminServiceFetcher.d.ts
diff --git a/dist/api/adminServiceParameters.d.ts b/dist/api/adminServiceParameters.d.ts