Skip to content

Bump rustls-webpki from 0.100.1 to 0.100.2 #318

Bump rustls-webpki from 0.100.1 to 0.100.2

Bump rustls-webpki from 0.100.1 to 0.100.2 #318

Workflow file for this run

name: Check Changelog
on:
pull_request:
types: [opened, reopened, labeled, unlabeled, synchronize]
permissions:
contents: read
jobs:
check-changelog:
runs-on: ubuntu-latest
if: (!contains(github.event.pull_request.labels.*.name, 'skip changelog'))
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Check that CHANGELOG is touched
run: |
git fetch origin ${{ github.base_ref }} --depth 1 && \
git diff remotes/origin/${{ github.base_ref }} --name-only | grep CHANGELOG.md