This project is archived. Its data is
read-only
.
Unverified
Commit
c060263f
authored
Feb 13, 2023
by
Luca Palmieri
Committed by
GitHub
Feb 13, 2023
Browse files
Do not run the PR bot on the merge queue (#2357)
* Do not run the PR bot on the merge queue * Update ci-pr.yml
parent
bfbe25e5
Loading
Loading
Loading
Changes
1
Show whitespace changes
Inline
Side-by-side
Loading
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
sign in
to comment