Skip to content

Add retrieving of port_mapping_number_of_entries for IGDs. #80

Add retrieving of port_mapping_number_of_entries for IGDs.

Add retrieving of port_mapping_number_of_entries for IGDs. #80

Workflow file for this run

name: Pull Request requires towncrier file
on:
- pull_request
jobs:
pr_require_towncrier_file:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Ensure towncrier file exists
env:
PR_NUMBER: ${{ github.event.number }}
run: |
if [ ! -f "changes/${PR_NUMBER}.feature" ] && [ ! -f "changes/${PR_NUMBER}.bugfix" ] && [ ! -f "changes/${PR_NUMBER}.doc" ] && [ ! -f "changes/${PR_NUMBER}.removal" ] && [ ! -f "changes/${PR_NUMBER}.misc" ]; then
echo "Towncrier file for #${PR_NUMBER} not found. Please add a changes file to the `changes/` directory. See README.rst for more information."
exit 1
fi