From babc722ff5ee44970776f3bb9e83a56929711701 Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Mon, 26 Jul 2021 23:57:57 +0200
Subject: [PATCH] restore github keys

---
 .github/workflows/release-to-publish.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/release-to-publish.yml b/.github/workflows/release-to-publish.yml
index cf289f047e..8c815e4fd3 100644
--- a/.github/workflows/release-to-publish.yml
+++ b/.github/workflows/release-to-publish.yml
@@ -41,5 +41,10 @@ jobs:
         submodules: false
         fetch-depth: 0
     - name: Deploy updated JSON
+      env:
+        TRAVIS_BUILD_DIR: ${{ github.workspace }}
+        BUILD_TYPE: package
+        CI_GITHUB_API_KEY: ${{ secrets.GITHUB_TOKEN }}
+        GHCI_DEPLOY_KEY: ${{ secrets.GHCI_DEPLOY_KEY }}
       run: |
            bash ./package/deploy_package_index.sh