Skip to content

Fix small warnings. #252

Fix small warnings.

Fix small warnings. #252

Workflow file for this run

name: Indent
on: [push, pull_request]
concurrency:
group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{github.event_name == 'pull_request'}}
permissions:
contents: read
jobs:
indent:
# run the indent checks
name: indent
runs-on: [ubuntu-20.04]
container:
image: heltai/dealii:vscode
options: --user root
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 100
- name: Check indentation
run: |
git config --global --add safe.directory "$GITHUB_WORKSPACE"
./scripts/check_indentation.sh