1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-07 06:01:35 +03:00

restore github keys in the deploy process (#8244)

This commit is contained in:
david gauchard
2021-07-27 00:06:19 +02:00
committed by GitHub
parent 7af58608d7
commit 096c008345

View File

@ -41,5 +41,10 @@ jobs:
submodules: false submodules: false
fetch-depth: 0 fetch-depth: 0
- name: Deploy updated JSON - 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: | run: |
bash ./package/deploy_package_index.sh bash ./package/deploy_package_index.sh