Skip to content

[CI] [2023.1] Updated editor to e4e9f7dc9b199102f7c0370d5801af183f6c04c3 #6831

[CI] [2023.1] Updated editor to e4e9f7dc9b199102f7c0370d5801af183f6c04c3

[CI] [2023.1] Updated editor to e4e9f7dc9b199102f7c0370d5801af183f6c04c3 #6831

Workflow file for this run

# name: Draft reminder
# on:
# pull_request:
# types: [opened]
# jobs:
# draft_reminder:
# runs-on: ubuntu-latest
# if: github.event.pull_request.draft == false && github.event.pull_request.ready_for_review == false
# steps:
# - uses: thollander/[email protected]
# with:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# message: |
# It appears that you made a non-draft PR!
# Please convert your PR to draft (button on the right side of the page).
# See the PR template for more information.
# Thank you!