Skip to content

dhcp extend nolonger requires dhcpd-pools (#491) #288

dhcp extend nolonger requires dhcpd-pools (#491)

dhcp extend nolonger requires dhcpd-pools (#491) #288

Workflow file for this run

name: Lint Code Base
on:
push:
pull_request:
branches: [master]
jobs:
build:
name: Lint Code Base
runs-on: ubuntu-latest
steps:
- name: Checkout Code
uses: actions/checkout@v2
with:
# Full git history is needed to get a proper list of changed files within `super-linter`
fetch-depth: 0
- name: Lint Code Base
uses: github/super-linter@v4
env:
FILTER_REGEX_INCLUDE: .*(agent-local|snmp)/.*
VALIDATE_ALL_CODEBASE: false
SUPPRESS_POSSUM: true
VALIDATE_BASH_EXEC: false
VALIDATE_PYTHON_FLAKE8: false
VALIDATE_PYTHON_MYPY: false
VALIDATE_PHP_PHPCS: false
VALIDATE_PHP_PSALM: false
SHELLCHECK_OPTS: --severity=warning
DEFAULT_BRANCH: master
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}