Skip to content

Merge branch 'main' of https://github.com/grace-bible/production-serv… #148

Merge branch 'main' of https://github.com/grace-bible/production-serv…

Merge branch 'main' of https://github.com/grace-bible/production-serv… #148

Workflow file for this run

---
name: Lint
on:
push:
branches: [main]
pull_request:
branches: [main]
jobs:
run-lint:
name: Lint
runs-on: ubuntu-latest
steps:
- name: Check out the codebase.
uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608 # v4
with:
# Full git history is needed to get a proper list of changed files
fetch-depth: 0
- name: Lint Code Base
uses: github/super-linter@v5
env:
VALIDATE_ALL_CODEBASE: false
DEFAULT_BRANCH: main
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}