build: upload .uf2 image to espruino.com #2605
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds
*.uf2
to the list of files theci_upload.sh
script tries to upload to espruino.com.And also changes the address from http to https (which ideally shouldn't break anything).
Reason for doing this: I'd like to have the XiaoBLE UF2 image show up here instead of the
.hex
file.I don't really see any value in having both the
.hex
file and.uf2
file, so ideally the.hex
file wouldn't show up in GitHub CI builds or on espruino.com, but I've currently got no idea how to cleanly do that 🙈This probably won't work without adjusting that
travis_upload.php
though...