merge queue: embarking master (b3eab02) and #12110 together #12112

mergify · 2024-12-28T12:19:21Z

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch master (b3eab02) and #12110 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #12110.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue default for merge:

Required conditions to stay in the queue:

---
previous_failed_batches: []
pull_requests:
  - number: 12110
...

The primitive `readFileType p` has a list of acceptable types, and so does `readDir path` This edit makes the formatting of the list consistent between themselves, and other parts of the documentation.

knotapun and others added 2 commits December 27, 2024 01:11

Make readFileType doc string consistent

cf69c99

The primitive `readFileType p` has a list of acceptable types, and so does `readDir path` This edit makes the formatting of the list consistent between themselves, and other parts of the documentation.

Merge of #12110

2ff2fbc

mergify bot closed this Dec 28, 2024

mergify bot deleted the mergify/merge-queue/9dca393730 branch December 28, 2024 12:35

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

merge queue: embarking master (b3eab02) and #12110 together #12112

merge queue: embarking master (b3eab02) and #12110 together #12112

mergify bot commented Dec 28, 2024 •

edited

Loading

merge queue: embarking master (b3eab02) and #12110 together #12112

merge queue: embarking master (b3eab02) and #12110 together #12112

Conversation

mergify bot commented Dec 28, 2024 • edited Loading

mergify bot commented Dec 28, 2024 •

edited

Loading