Skip to content

Merge branch 'master' into 2024 #31

Merge branch 'master' into 2024

Merge branch 'master' into 2024 #31

Workflow file for this run

name: Tidy
on:
workflow_dispatch:
push:
# Run every time a shell script changes
paths:
- '**/*.sh'
pull_request: {}
jobs:
lint:
name: Lint
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: ShellCheck
run: |
sudo apt-get install -y shellcheck
make lint