Skip to content

[skip changelog] Update workflow and script to fetch Arduino CDN download data #1476

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Sep 27, 2021
Merged

[skip changelog] Update workflow and script to fetch Arduino CDN download data #1476

merged 1 commit into from
Sep 27, 2021

Conversation

silvanocerza
Copy link
Contributor

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests
    before creating one)
  • The PR follows
    our contributing guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)
  • UPGRADING.md has been updated with a migration guide (for breaking changes)
  • What kind of change does this PR introduce?

Updates a workflow.

  • What is the current behavior?

The script used to fetch download data from the Arduino CDN is not clear enough and not easy to edit.

  • What is the new behavior?

The script used to fetch download data from the Arduino CDN has been rewritten in Python and enhanced to filter out bad data.

Nope.

  • Other information:

None.

See how to contribute

@silvanocerza silvanocerza added the topic: infrastructure Related to project infrastructure label Sep 27, 2021
@silvanocerza silvanocerza self-assigned this Sep 27, 2021
@silvanocerza silvanocerza force-pushed the scerza/arduino-download-fetch-update branch from 8ba05b3 to f3845ae Compare September 27, 2021 15:18
@silvanocerza silvanocerza force-pushed the scerza/arduino-download-fetch-update branch from f3845ae to 61f85ad Compare September 27, 2021 15:19
@silvanocerza silvanocerza merged commit 7d22144 into master Sep 27, 2021
@silvanocerza silvanocerza deleted the scerza/arduino-download-fetch-update branch September 27, 2021 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rsora rsora rsora approved these changes

@per1234 per1234 Awaiting requested review from per1234

Assignees

@silvanocerza silvanocerza

Labels
topic: infrastructure Related to project infrastructure
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@silvanocerza @rsora