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

Fix xargs command not found in make-disk-image script #633

Merged
merged 2 commits into from
May 14, 2024

Conversation

danjujan
Copy link
Contributor

Fixes 8a4585a for me.

@Mic92
Copy link
Member

Mic92 commented May 14, 2024

@mergify queue

Copy link
Contributor

mergify bot commented May 14, 2024

queue

🛑 The pull request has been removed from the queue default

The pull request #633 has been manually updated.

You can take a look at Queue: Embarked in merge queue check runs for more details.

In case of a failure due to a flaky test, you should first retrigger the CI.
Then, re-embark the pull request into the merge queue by posting the comment
@mergifyio refresh on the pull request.

@Mic92
Copy link
Member

Mic92 commented May 14, 2024

@mergify refresh

@Mic92
Copy link
Member

Mic92 commented May 14, 2024

@mergify queue

Copy link
Contributor

mergify bot commented May 14, 2024

refresh

✅ Pull request refreshed

Copy link
Contributor

mergify bot commented May 14, 2024

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at d62af72

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
@mergify mergify bot merged commit d62af72 into nix-community:master May 14, 2024
41 checks passed
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.

None yet

2 participants