diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 7dcad29c5..b47169837 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -7,8 +7,8 @@ * Set the PR to a draft status, e.g. by the `Convert to draft` link, to indicate that the work is not yet ready for review -* Once the PR is ready for review, press the `Ready for Review` button and push -a final commit to trigger the CI +* Once the PR is ready for review, press the `Ready for Review` button to +trigger the CI ## Pre-Review Checklist for the PR Author diff --git a/.github/workflows/build-test.yml b/.github/workflows/build-test.yml index bb9f11564..6b86965b6 100644 --- a/.github/workflows/build-test.yml +++ b/.github/workflows/build-test.yml @@ -5,25 +5,13 @@ on: branches: [ main ] pull_request: branches: [ main, release* ] + types: [ opened, ready_for_review, synchronize ] # env: # RUSTFLAGS: "-C debug-assertions" jobs: - check_draft_pr: - runs-on: ubuntu-latest - steps: - - name: Check if PR is a draft - run: | - if [ "${{ github.event.pull_request.draft }}" == "true" ]; then - echo "PR is a draft. CI will not proceed." - exit 1 # Abort the CI job - else - echo "PR is not a draft. Proceeding with CI." - fi - changes: - needs: check_draft_pr runs-on: ubuntu-latest permissions: pull-requests: read diff --git a/.github/workflows/miri-check.yml b/.github/workflows/miri-check.yml index 0ddc4de9a..a537d96f1 100644 --- a/.github/workflows/miri-check.yml +++ b/.github/workflows/miri-check.yml @@ -5,6 +5,7 @@ on: branches: [ main ] pull_request: branches: [ main, release* ] + types: [ opened, ready_for_review, synchronize ] jobs: miri: @@ -23,4 +24,4 @@ jobs: - name: List all changed files env: ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }} - run: ./internal/scripts/ci_run_miri.sh \ No newline at end of file + run: ./internal/scripts/ci_run_miri.sh