Skip to content
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.

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

Update FreeRTOS configuration #71

Merged
merged 1 commit into from
Apr 8, 2024
Merged

Update FreeRTOS configuration #71

merged 1 commit into from
Apr 8, 2024

Conversation

JonatanAntoni
Copy link
Member

No description provided.

@VladimirUmek
Copy link
Contributor

3c25def

Copy link

github-actions bot commented Apr 8, 2024

Test Results

   48 files     48 suites   0s ⏱️
  161 tests   157 ✅   0 💤  4 ❌
7 728 runs  7 104 ✅ 528 💤 96 ❌

For more details on these failures, see this check.

Results for commit 8ad996d.

@VladimirUmek VladimirUmek merged commit 6d99460 into main Apr 8, 2024
7 checks passed
@VladimirUmek VladimirUmek deleted the freertos branch April 8, 2024 09:31
{
"kind": "artifact",
"location": "https://artifacts.keil.arm.com/vcpkg-ce-registry/registry.zip",
"location": "https://artifacts.tools.arm.com/vcpkg-ce-registry/registry.zip",
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The recommendation here is the short form:
"location": "https://artifacts.tools.arm.com/vcpkg-registry"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants