mirror of
https://github.com/maxkratz/edgedb.git
synced 2024-09-16 18:59:05 +00:00
Fix some postgres submodule check issues (#6717)
This commit is contained in:
parent
18c7f69445
commit
cfa3729307
1 changed files with 4 additions and 3 deletions
7
.github/workflows/pull-request-meta.yml
vendored
7
.github/workflows/pull-request-meta.yml
vendored
|
@ -2,7 +2,7 @@ name: Pull Request Meta
|
|||
|
||||
on:
|
||||
pull_request:
|
||||
types: [opened, edited, synchronize, labeled, closed]
|
||||
types: [opened, edited, synchronize]
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
|
||||
|
@ -19,12 +19,13 @@ jobs:
|
|||
submodules: false
|
||||
|
||||
- name: Verify that postgres/ was not changed unintentionally
|
||||
env:
|
||||
PR_TITLE: ${{ github.event.pull_request.title }}
|
||||
shell: bash
|
||||
run: |
|
||||
required_prefix="Update bundled PostgreSQL"
|
||||
|
||||
title="${{ github.event.pull_request.title }}"
|
||||
if [[ $title == $required_prefix* ]]; then
|
||||
if [[ "$PR_TITLE" == $required_prefix* ]]; then
|
||||
exit 0
|
||||
fi
|
||||
|
||||
|
|
Loading…
Reference in a new issue