Skip to content

Merge commit 'refs/pull/1394/head' of https://github.com/erf-model/ER… #27

Merge commit 'refs/pull/1394/head' of https://github.com/erf-model/ER…

Merge commit 'refs/pull/1394/head' of https://github.com/erf-model/ER… #27

Workflow file for this run

name: Style
on: [push, pull_request]
concurrency:
group: ${{ github.ref }}-${{ github.head_ref }}-style
cancel-in-progress: true
jobs:
tabs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Tabs
run: .github/workflows/style/check_tabs.sh
trailing_whitespaces:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Trailing Whitespaces
run: .github/workflows/style/check_trailing_whitespaces.sh