1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00

2 Commits

Author SHA1 Message Date
Ivan Grokhotkov
5b5e56ad43 ci: deploy package index to esp8266.github.io (#6062)
* ci: deploy package index to esp8266.github.io

* Update deploy_package_index.sh

Fix path for git add
2019-05-10 10:11:33 -04:00
Ivan Grokhotkov
0f762f64af ci: deploy released package index to arduino.esp8266.com 2018-08-03 09:51:29 +03:00