chore(ci): enforce ending files with a newline

This commit is contained in:
Mayeul@Zama
2022-06-15 15:35:16 +02:00
committed by mayeul-zama
parent 3b8ea630a1
commit 928a44d243
67 changed files with 86 additions and 60 deletions

View File

@@ -7,4 +7,4 @@ You can either install the compiler in user space or globally (you need root/sud
2. Global install: extract the tarball to a temporary path , and copy
- temporary/path/concretecompiler/bin/concretecompiler to /usr/bin (or a directory in $PATH)
- temporary/path/concretecompiler/lib/libConcretelangRuntime.so to /usr/lib (or another lib folder)
- temporary/path/concretecompiler/lib/libConcretelangRuntime.so to /usr/lib (or another lib folder)

View File

@@ -39,6 +39,10 @@ jobs:
# compiler requirements to lint
pip install numpy
make python_lint
- name: Linelint
uses: fernandrone/linelint@0.0.4
id: linelint
CheckLicense:
runs-on: ubuntu-latest