arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-23 19:21:59 +03:00
Code Activity

wip

Browse Source
This commit is contained in:
David Gauchard
2018-12-13 11:37:54 +01:00
parent 5fa07cd587
commit 1978e7bd0d
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
package/build_boards_manager_package.sh
View File

@ -132,8 +132,14 @@ if [ -z "$CI_GITHUB_API_KEY" ]; then
fi
curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY")
# test
echo "key was '$CI_GITHUB_API_KEY'"
CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ="
# Get previous release name
echo "======== curl dumped header"
curl --silent -D /dev/stderr ${curl_gh_token_arg[@]} https://api.github.com/repos/esp8266/Arduino/releases > releases.json
echo "======== curl"
# Previous final release (prerelase == false)
prev_release=$(jq -r '. | map(select(.draft == false and .prerelease == false)) | sort_by(.created_at | - fromdateiso8601) | .[0].tag_name' releases.json)