Skip to content

Conversation

aentinger
Copy link
Contributor

As those are also verified by CI build.

…bed_portenta.

As those are also verified by CI build.
@aentinger aentinger added type: enhancement Proposed improvement topic: documentation Related to documentation for the project labels Dec 29, 2022
@aentinger aentinger self-assigned this Dec 29, 2022
@aentinger aentinger merged commit 87ce65e into master Dec 29, 2022
@aentinger aentinger deleted the restrict-arch branch December 29, 2022 09:33
@per1234 per1234 added topic: infrastructure Related to project infrastructure and removed topic: documentation Related to documentation for the project labels Jan 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants