Skip to content

Discord unique usernames change #230

Discord unique usernames change

Discord unique usernames change #230

Workflow file for this run

name: Newsfile
on:
push:
branches: ["develop", "release-*"]
pull_request:
workflow_dispatch:
jobs:
changelog:
if: ${{ github.base_ref == 'develop' || contains(github.base_ref, 'release-') }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
ref: ${{ github.event.pull_request.head.sha }}
fetch-depth: 0
- uses: actions/setup-python@v2
- run: pip install towncrier==21.9.0
- run: scripts/check-newsfragment
env:
PULL_REQUEST_NUMBER: ${{ github.event.number }}