Skip to content

Enhance enumerable graph type determing #115

Enhance enumerable graph type determing

Enhance enumerable graph type determing #115

Workflow file for this run

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