Skip to content

Merge remote-tracking branch 'origin/master' into feature/ego_slope #3630

Merge remote-tracking branch 'origin/master' into feature/ego_slope

Merge remote-tracking branch 'origin/master' into feature/ego_slope #3630

Workflow file for this run

name: Line lint
on:
workflow_dispatch:
push:
jobs:
linelint:
runs-on: ubuntu-latest
name: Check if all files end in newline
steps:
- uses: actions/checkout@v2
- uses: fernandrone/[email protected]