2022-08-22 16:22:46 +02:00
|
|
|
name: Lint
|
2021-01-16 10:16:05 +01:00
|
|
|
|
|
|
|
on:
|
2023-12-19 06:59:59 +01:00
|
|
|
# A workflow that creates a PR will not trigger this workflow,
|
|
|
|
# Providing a manual trigger as a workaround
|
|
|
|
workflow_dispatch:
|
2021-01-16 10:16:05 +01:00
|
|
|
pull_request:
|
|
|
|
push:
|
2022-08-22 16:22:46 +02:00
|
|
|
branches: [ master ]
|
2021-09-28 00:49:22 +02:00
|
|
|
|
2022-05-11 09:51:15 +02:00
|
|
|
permissions:
|
|
|
|
contents: read
|
|
|
|
|
2021-01-16 10:16:05 +01:00
|
|
|
jobs:
|
|
|
|
lint:
|
2023-01-28 13:53:17 +01:00
|
|
|
runs-on: ubuntu-22.04
|
2021-01-16 10:16:05 +01:00
|
|
|
steps:
|
|
|
|
- name: Checkout
|
2023-09-04 17:07:38 +02:00
|
|
|
uses: actions/checkout@v4
|
2021-09-28 12:37:54 +02:00
|
|
|
|
2021-01-16 10:16:05 +01:00
|
|
|
- name: Hadolint
|
2022-08-22 16:22:46 +02:00
|
|
|
run: make hadolint
|
2021-09-28 12:37:54 +02:00
|
|
|
|
2021-01-16 10:16:05 +01:00
|
|
|
- name: ShellCheck
|
2022-08-22 16:22:46 +02:00
|
|
|
run: make shellcheck
|
2021-09-28 12:37:54 +02:00
|
|
|
|
2021-01-16 10:16:05 +01:00
|
|
|
- name: ECLint
|
2022-08-22 16:22:46 +02:00
|
|
|
run: make eclint
|