update

Author: RReichert

.github/workflows/c.yaml

@@ -53,7 +53,7 @@ jobs:
           git init
           git remote add origin "https://github.com/${{ github.repository }}"
           git fetch --no-tags --depth=1 origin "${{ github.ssh }}"
-          git checkout "${{ github.sha }}""
+          git checkout "${{ github.sha }}"
           git submodule update --recursive --init --depth=1
 
       - name: Configure