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

Add checkout strategy to report. #403

Merged
merged 3 commits into from
Jun 11, 2024

Conversation

pbsds
Copy link
Contributor

@pbsds pbsds commented Jun 8, 2024

This way, nixpkgs-review pr ... -c commit will add --checkout commit to the markdown report. This is useful when checking against hydra

@Mic92
Copy link
Owner

Mic92 commented Jun 8, 2024

@mergify queue

Copy link
Contributor

mergify bot commented Jun 8, 2024

queue

🛑 The pull request has been removed from the queue default

The queue conditions cannot be satisfied due to failing checks.

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.

also adds mypy ignore to a line
@Mic92
Copy link
Owner

Mic92 commented Jun 11, 2024

@mergify queue

Copy link
Contributor

mergify bot commented Jun 11, 2024

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 2a8e5f4

@mergify mergify bot merged commit 2a8e5f4 into Mic92:master Jun 11, 2024
4 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.

2 participants