Skip to content

Merge remote branch 'upstreamrepo/main' #268

Merge remote branch 'upstreamrepo/main'

Merge remote branch 'upstreamrepo/main' #268

Workflow file for this run

name: Lint codebase
on:
push:
pull_request:
workflow_dispatch:
jobs:
run-linters:
runs-on: ubuntu-latest
steps:
- name: Checkout Code
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Check that no private Docker Hub URLs are used
run: |
priv_url=hub.docker.com/repository/docker/axisecp
pub_url=hub.docker.com/r/axisecp
ret=0
# Set +e to not having to handle the grep exit status
__docker_grep_res=$(grep -nir "$priv_url" --exclude-dir=.github || :)
[ -z "$__docker_grep_res" ] || {
printf "\n\nError: Private Docker Hub URL is used\n"
printf "Private: $priv_url\nPublic: $pub_url\n\n"
printf "Found following private URLs:\n$__docker_grep_res\n\n"
ret=1
}
exit $ret
- name: Check that device URLs have approved structure
run: |
.github/lint-device-urls.sh
- run: cat .github/super-linter.env >> "$GITHUB_ENV"
- name: Lint Code Base
uses: super-linter/super-linter/slim@v5
env:
DEFAULT_BRANCH: main
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}