mirror of
https://github.com/esp8266/Arduino.git
synced 2025-12-09 08:01:38 +03:00
* Copy released JSON to board URL, not new one Fixes #8180 The draft release generates a ZIP and JSON. Instead of rebuilding the ZIP on the publish step (which may result in a different SHA256 due to file time differences in the new ZIP), just copy the one from the published release directly. Also clean up and remove unneeded environment variables and CI steps. * Be more paranoid about JSON format, check after d/l