restore old artifacts

wadoon · wadoon · commit fdc6e41f1a2e · 2022-04-04T18:52:40.000+02:00
diff --git a/.github/workflows/KeY-check.yml b/.github/workflows/KeY-check.yml
@@ -27,6 +27,4 @@ jobs:
       uses: actions/upload-artifact@v3
       with:
         name: Statistics
-        path:
-          - statistics.md
-          - statistics.json
+        path: statistics.md
