From f7cc3f55d91a514a362a6082d7cf630b8a04132d Mon Sep 17 00:00:00 2001
From: Ulli Hafner <ullrich.hafner@gmail.com>
Date: Fri, 1 Dec 2023 14:59:49 +0100
Subject: [PATCH] Use new parameter names.

---
 .github/workflows/reporting.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/reporting.yml b/.github/workflows/reporting.yml
index 92a34d21..ff36f5be 100644
--- a/.github/workflows/reporting.yml
+++ b/.github/workflows/reporting.yml
@@ -33,8 +33,8 @@ jobs:
       - name: Autograding
         uses: uhafner/autograding-github-action@v3.0.0
         with:
-          TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          CONFIG: >
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          config: >
             {
               "tests": {
                 "tools": [