Skip to content

Merge branch 'master' of github.com:ArkScript-lang/ArkDoc #58

Merge branch 'master' of github.com:ArkScript-lang/ArkDoc

Merge branch 'master' of github.com:ArkScript-lang/ArkDoc #58

Workflow file for this run

name: super-linter
on:
push:
branches: [ master ]
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
################################
# Run Linter against code base #
################################
- name: Lint Code Base
uses: docker://github/super-linter:v3.13.1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
VALIDATE_ALL_CODEBASE: false
VALIDATE_BASH: true
VALIDATE_BASH_EXEC: true
VALIDATE_DOCKERFILE: true
VALIDATE_DOCKERFILE_HADOLINT: true
VALIDATE_ENV: true
VALIDATE_JSON: true
VALIDATE_LATEX: true
VALIDATE_PYTHON_BLACK: true
VALIDATE_POWERSHELL: true
VALIDATE_SHELL_SHFMT: true
VALIDATE_SQL: true