mirror of
https://github.com/gradio-app/gradio.git
synced 2025-01-06 10:25:17 +08:00
20 lines
648 B
YAML
20 lines
648 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@v2
|
||
|
|
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 | grep -w "https://github.com/gradio-app/gradio/pull/${{ github.event.number }}"
|