Skip to content

changed ports to 5434 #477

changed ports to 5434

changed ports to 5434 #477

Workflow file for this run

name: lint
on: [push, workflow_dispatch]
permissions:
statuses: write
concurrency:
group: '${{ github.workflow }}-${{ github.ref || github.head_ref }}'
cancel-in-progress: true
jobs:
lint:
runs-on: ubuntu-22.04
if: ${{ github.event_name == 'push' }}
steps:
- uses: actions/checkout@v4
with:
# Full git history 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: github/super-linter/slim@v4
env:
VALIDATE_ALL_CODEBASE: false
VALIDATE_BASH: true
VALIDATE_BASH_EXEC: true
VALIDATE_GITHUB_ACTIONS: true
VALIDATE_GITLEAKS: true
VALIDATE_MARKDOWN: true
DEFAULT_BRANCH: main
GITHUB_TOKEN: ${{ secrets.DATAVISYN_BOT_REPO_TOKEN }}