me-no-dev 33d9f4aa19 Update GitHub Pages Builder ... Add some debug and allow building from a branch named `pages`		2021-03-16 02:48:17 +02:00
..
check-cmakelists.sh	Use Github Actions for release (#3309)	2019-10-01 10:44:04 +03:00
install-arduino-core-esp32.sh	Update CI scripts for better error handling (#3316)	2019-10-02 11:58:02 +03:00
install-arduino-ide.sh	Update install-arduino-ide.sh	2020-11-03 21:12:05 +02:00
install-platformio-esp32.sh	Update PlatformIO CI script (#4307)	2020-08-31 18:06:34 +03:00
merge_packages.py	Use Github Actions for release (#3309)	2019-10-01 10:44:04 +03:00
on-pages.sh	Update GitHub Pages Builder	2021-03-16 02:48:17 +02:00
on-push.sh	Update CI scripts for better error handling (#3316)	2019-10-02 11:58:02 +03:00
on-release.sh	Allow releases from different branches	2021-02-17 14:06:30 +02:00