Bump BenchmarkDotNet from 0.13.6 to 0.13.7 #663
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Check if PR title contains [WIP] | |
| on: | |
| pull_request: | |
| types: | |
| - opened # when PR is opened | |
| - edited # when PR is edited | |
| - synchronize # when code is added | |
| - reopened # when a closed PR is reopened | |
| jobs: | |
| check-title: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Fail build if pull request title contains [WIP] | |
| env: | |
| TITLE: ${{ github.event.pull_request.title }} | |
| if: ${{ contains(github.event.pull_request.title, '[WIP]') }} # This function is case insensitive. | |
| run: | | |
| echo Warning! PR title "$TITLE" contains [WIP]. Remove [WIP] from the title when PR is ready. | |
| exit 1 |