Skip to content

Relocate docker files to extra folder. #37

Relocate docker files to extra folder.

Relocate docker files to extra folder. #37

Workflow file for this run

---
name: Super Linter
on: # yamllint disable-line rule:truthy
workflow_dispatch:
push:
branches: [main, devel]
pull_request:
types: [assigned, opened, edited, synchronize, reopened]
pull_request_target:
types: [assigned, opened, edited, synchronize, reopened]
jobs:
build:
name: Lint Code Base
runs-on: [ubuntu-latest]
container:
image: debian:bullseye-slim
options: --user root
steps:
- uses: actions/checkout@v3
with:
ref: ${{ github.event.pull_request.head.sha }}
- name: Super-Linter
uses: github/super-linter/slim@v5
env:
VALIDATE_ALL_CODEBASE: true
DEFAULT_BRANCH: main
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
FILTER_REGEX_EXCLUDE: (dse/clib/fmi/fmi2/headers/.*|dse/clib/fmi/fmi3/headers/.*)
VALIDATE_CPP: true
VALIDATE_DOCKERFILE: true
VALIDATE_YAML: true