Skip to content

Add sudo to move coverage folder created by root user.#1

Open
wenhui-xie wants to merge 1 commit intomasterfrom
add_sudo
Open

Add sudo to move coverage folder created by root user.#1
wenhui-xie wants to merge 1 commit intomasterfrom
add_sudo

Conversation

@wenhui-xie
Copy link
Copy Markdown
Owner

Add sudo to move coverage folder created by root user.

@github-actions
Copy link
Copy Markdown

github-actions bot commented Dec 22, 2023

Test Results ThreadX

475 tests   475 ✔️  2m 24s ⏱️
    5 suites      0 💤
    5 files        0

Results for commit 23aa67c.

♻️ This comment has been updated with latest results.

@github-actions
Copy link
Copy Markdown

github-actions bot commented Dec 22, 2023

Test Results SMP

540 tests   540 ✔️  4m 40s ⏱️
    5 suites      0 💤
    5 files        0

Results for commit 23aa67c.

♻️ This comment has been updated with latest results.

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.

1 participant