chore(CI): linelint

This commit is contained in:
Mayeul@Zama
2023-03-15 11:19:44 +01:00
committed by Quentin Bourgerie
parent 9b4faaa66e
commit f4dbe2245f
2 changed files with 18 additions and 5 deletions

18
.github/workflows/linelint.yml vendored Normal file
View File

@@ -0,0 +1,18 @@
# This job is the main jobs will dispatch build and test for every modules of our mono repo.
name: Linelint
on:
pull_request:
push:
branches:
- 'main'
jobs:
linelint:
runs-on: ubuntu-20.04
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Linelint
uses: fernandrone/linelint@0.0.4
id: linelint

View File

@@ -4,11 +4,6 @@ autofix: false
# list of paths to ignore, uses gitignore syntaxes (executes before any rule) # list of paths to ignore, uses gitignore syntaxes (executes before any rule)
ignore: ignore:
- .git/ - .git/
- llvm-project/
- compiler/concrete-optimizer
- compiler/concrete-core
- compiler/parameter-curves
- google-benchmark
rules: rules:
# checks if file ends in a newline character # checks if file ends in a newline character