diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 0c1a58b8e08..27963be4cd3 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -21,9 +21,9 @@ Before you mark the PR ready for review, please make sure that: - If the change does not require a CHANGELOG.md entry, do one of the following: - Add `[skip changelog]` to the PR title - Add the label `skip/changelog` to the PR +- [ ] Add the label `need/very-expensive-tests` if the PR requires running very expensive tests - [ ] New features have usage guidelines and / or documentation updates in - [ ] [Lotus Documentation](https://lotus.filecoin.io) - [ ] [Discussion Tutorials](https://github.com/filecoin-project/lotus/discussions/categories/tutorials) - [ ] Tests exist for new functionality or change in behavior - [ ] CI is green -- [ ] Add the label `run-very-expensive-tests` if the PR requires running very expensive tests diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ef20b6b6a3a..0caec79eb2e 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -35,7 +35,7 @@ jobs: - id: envs env: GITHUB_EVENT_NAME: ${{ github.event_name }} - HAS_RUN_VERY_EXPENSIVE_LABEL: ${{ contains(github.event.pull_request.labels.*.name, 'run-very-expensive-tests') }} + HAS_RUN_VERY_EXPENSIVE_LABEL: ${{ contains(github.event.pull_request.labels.*.name, 'need/very-expensive-tests') }} run: | if [[ "${GITHUB_EVENT_NAME}" = "pull_request" && "${HAS_RUN_VERY_EXPENSIVE_LABEL}" = "true" ]]; then echo "run_very_expensive_tests=1" >> $GITHUB_OUTPUT