Skip to content
This repository was archived by the owner on Jan 1, 2026. It is now read-only.

Add basic registration (#8) #114

Add basic registration (#8)

Add basic registration (#8) #114

Workflow file for this run

---
name: Lint
permissions:
contents: read
packages: read
statuses: write
on:
push:
branches:
- main
pull_request: null
jobs:
lint:
name: Lint
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Run Super Linter
uses: super-linter/super-linter/slim@v7
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
VALIDATE_ALL_CODEBASE: false
FILTER_REGEX_EXCLUDE: '(.devcontainer/Dockerfile|.github/pull_request_template.md|.github/ISSUE_TEMPLATE/*.md)'
VALIDATE_PYTHON_ISORT: false
VALIDATE_PYTHON_MYPY: false
fix-lint:
name: Fix Lint
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Super-linter
uses: super-linter/super-linter/slim@v7
env:
VALIDATE_ALL_CODEBASE: false
FILTER_REGEX_EXCLUDE: '(.github/pull_request_template.md|.github/ISSUE_TEMPLATE/*.md)'
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
VALIDATE_PYTHON_ISORT: false
VALIDATE_PYTHON_MYPY: false
FIX_JSON_PRETTIER: true
FIX_MARKDOWN: true
FIX_MARKDOWN_PRETTIER: true
FIX_YAML_PRETTIER: true
VALIDATE_DOCKERFILE_HADOLINT: false
- name: Commit and push linting fixes
if: >
github.event_name == 'pull_request' &&
github.event.pull_request.head.ref != github.event.repository.default_branch
uses: stefanzweifel/git-auto-commit-action@v5
with:
branch: ${{ github.event.pull_request.head.ref }}
commit_message: 'Super-Linter: Fix linting issues'
commit_user_name: super-linter
commit_user_email: [email protected]