mirror of
https://github.com/gradio-app/gradio.git
synced 2024-11-27 01:40:20 +08:00
remove changelog check (#4996)
This commit is contained in:
parent
62306d9ed1
commit
9f857d2c01
20
.github/workflows/check-changelog.yml
vendored
20
.github/workflows/check-changelog.yml
vendored
@ -1,20 +0,0 @@
|
||||
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 }}"
|
Loading…
Reference in New Issue
Block a user