1
0
mirror of https://github.com/arduino/library-registry.git synced 2025-05-27 08:01:03 +03:00
per1234 2dbd3a41bd Use non-version specific reference URLs for tool version workflow variables
GitHub Actions actions are used by the workflows to set up development tools in the runner workspace.

In order to facilitate updates to new versions of these tools, we set the version to be set up via environment variables
at the top of the workflow.

Since this variable definition is separate from the step using the action, it might not be immediately apparent to the
maintainer which version syntaxes are supported. For this reason, comments were added with the URL to the relevant
section of the consuming action's documentation. Previously, these URLs were made to point to the version of the
documentation that matched the version of the action in use by the workflow. Since we only use a major version ref, the
expectation was that this would only need to be updated rarely. However, it turned out that the major version bump cycle
is significantly shorter than expected. In addition, it is easy to forget the update because action version update PRs
are provided by Dependabot, which obviously won't update the URLs in the comments.

So it will be best to use a URL that points to the documentation at the tip of the default branch of the action
repository. The likelihood of the documentation provided by this URL not matching the behavior of the release version of
the action in use is likely less than it is for an outdated URL.
2022-06-14 09:31:54 -07:00
2021-06-01 07:37:19 -07:00
2022-05-12 01:17:51 +00:00
2022-05-12 01:17:51 +00:00
2022-06-08 09:42:51 +00:00

Arduino Library Manager list

Check Registry status Test Integration status Check Go status Check Python status Check General Formatting status Check Prettier Formatting status Check Taskfiles status Check Workflows status Check YAML status Check License status Check Go Dependencies status

This branch contains the generated source file for the Arduino Library Manager index. If you want to add a library to the Arduino Library Manager index, please follow these instructions:

https://github.com/arduino/library-registry#adding-a-library-to-library-manager

Description
No description provided
Readme 29 MiB
Languages
Markdown 100%