mirror of
https://github.com/Z3Prover/z3
synced 2026-05-17 15:39:27 +00:00
Bumps [actions/github-script](https://github.com/actions/github-script) from 8.0.0 to 9.0.0. - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/v8...3a2844b7e9c422d3c10d287c895573f7108da1b3) --- updated-dependencies: - dependency-name: actions/github-script dependency-version: 9.0.0 dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
60 lines
2 KiB
YAML
60 lines
2 KiB
YAML
name: Mark Pull Requests Ready for Review
|
|
|
|
on:
|
|
pull_request:
|
|
types: [opened]
|
|
workflow_dispatch:
|
|
schedule:
|
|
- cron: '0 0 * * *'
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
mark-ready:
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
pull-requests: write
|
|
steps:
|
|
- name: Mark all draft pull requests ready for review
|
|
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
|
|
with:
|
|
github-token: ${{ secrets.GH_AW_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
|
|
script: |
|
|
async function markReady(nodeId, number, title) {
|
|
core.info(`Marking PR #${number} "${title}" ready for review.`);
|
|
try {
|
|
await github.graphql(`
|
|
mutation($id: ID!) {
|
|
markPullRequestReadyForReview(input: { pullRequestId: $id }) {
|
|
pullRequest { number isDraft }
|
|
}
|
|
}
|
|
`, { id: nodeId });
|
|
} catch (err) {
|
|
core.warning(`Failed to mark PR #${number} ready for review: ${err.message}`);
|
|
}
|
|
}
|
|
|
|
if (context.eventName === 'pull_request') {
|
|
const pr = context.payload.pull_request;
|
|
if (pr.draft) {
|
|
await markReady(pr.node_id, pr.number, pr.title);
|
|
} else {
|
|
core.info(`PR #${pr.number} is already ready for review. Nothing to do.`);
|
|
}
|
|
} else {
|
|
const pulls = await github.paginate(github.rest.pulls.list, {
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
state: 'open',
|
|
});
|
|
|
|
const drafts = pulls.filter(pr => pr.draft);
|
|
core.info(`Found ${drafts.length} draft pull request(s).`);
|
|
|
|
for (const pr of drafts) {
|
|
await markReady(pr.node_id, pr.number, pr.title);
|
|
}
|
|
}
|
|
|
|
core.info('Done.');
|