fixing github build

.ci/push.sh

@@ -22,7 +22,7 @@ upload_files() {
   # Remove existing "origin"
   git remote rm origin
   # Add new "origin" with access token in the git URL for authentication
-  git remote add origin https://penickar:${GH_TOKEN}@github.com/ctu-mrs/ctu-mrs.github.io.git > /dev/null 2>&1
+  git remote add origin https://${PUSH_TOKEN}@github.com/ctu-mrs/ctu-mrs.github.io.git > /dev/null 2>&1
   git push origin master --quiet
 }
 

.github/workflows/docs.yml

@@ -15,16 +15,18 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Cancel Previous Runs
-        uses: styfle/cancel-workflow-action@0.8.0
+        uses: styfle/cancel-workflow-action@0.11.0
         with:
           access_token: ${{ github.token }}
 
   docs:
     runs-on: ubuntu-20.04
     steps:
+    env:
+      PUSH_TOKEN: ${{ secrets.PUSH_TOKEN }}
 
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
 
       - name: Install
         run: ./.ci/install.sh