Skip to content

Commit

Permalink
chore(CI): linelint
Browse files Browse the repository at this point in the history
  • Loading branch information
mayeul-zama authored and BourgerieQuentin committed Mar 16, 2023
1 parent 9b4faaa commit f4dbe22
Show file tree
Hide file tree
Showing 2 changed files with 18 additions and 5 deletions.
18 changes: 18 additions & 0 deletions .github/workflows/linelint.yml
Original file line number Diff line number Diff line change
@@ -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/[email protected]
id: linelint
5 changes: 0 additions & 5 deletions .linelint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,6 @@ autofix: false
# list of paths to ignore, uses gitignore syntaxes (executes before any rule)
ignore:
- .git/
- llvm-project/
- compiler/concrete-optimizer
- compiler/concrete-core
- compiler/parameter-curves
- google-benchmark

rules:
# checks if file ends in a newline character
Expand Down

0 comments on commit f4dbe22

Please sign in to comment.