Skip to content

Merge branch 'develop' into feature/legacy-ortools-behind-api-3.1 #11639

Merge branch 'develop' into feature/legacy-ortools-behind-api-3.1

Merge branch 'develop' into feature/legacy-ortools-behind-api-3.1 #11639

name: Branch name validation
on:
push:
jobs:
valid-branch-name:
runs-on: ubuntu-latest
steps:
- name: Verify branch name
run: |
if ! [[ "$GITHUB_REF_NAME" =~ ^feature/.*|^features/.*|^fix/.*|^release/.*|^doc/.*|develop|^issue-*|^dependabot/* ]]; then
exit 1
fi