mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-27 02:30:17 +08:00
20 lines
675 B
YAML
20 lines
675 B
YAML
name: check-changelog
|
|
|
|
on:
|
|
pull_request:
|
|
types: [opened, synchronize, labeled, unlabeled]
|
|
|
|
jobs:
|
|
check-changelog-updated:
|
|
name: Check CHANGELOG file
|
|
runs-on: ubuntu-latest
|
|
if: ${{ !contains( github.event.pull_request.labels.*.name, 'no-changelog-update') }}
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@v3
|
|
with:
|
|
ref: ${{ github.event.pull_request.head.ref }}
|
|
repository: ${{ github.event.pull_request.head.repo.full_name }}
|
|
- name: Release notes added
|
|
run: |
|
|
cat CHANGELOG.md client/python/CHANGELOG.md | grep -w "https://github.com/gradio-app/gradio/pull/${{ github.event.number }}" |