Merge pull request #24 from Consensys/maintenance

Maintenance

.c8rc.json

@@ -16,6 +16,6 @@
     "check-coverage": true,
     "statements": 90,
     "branches": 85,
-    "functions": 90,
-    "lines": 95
+    "functions": 85,
+    "lines": 90
 }

.eslintrc.json

@@ -27,5 +27,6 @@
             "error",
             { "allowArgumentsExplicitlyTypedAsAny": true }
         ]
-    }
+    },
+    "ignorePatterns": ["src/lib/souffle/value_header.ts", "src/lib/souffle/value_parser.ts"]
 }

.github/workflows/ci.yaml

@@ -0,0 +1,74 @@
+name: CI
+
+on:
+    push:
+        branches: ["main"]
+    pull_request:
+        branches: ["main"]
+
+permissions: read-all
+
+jobs:
+    build:
+        runs-on: ubuntu-latest
+
+        strategy:
+            matrix:
+                # See https://nodejs.org/en/about/releases/
+                node-version: [20.x]
+
+        env:
+            SOUFFLE_DEB: https://github.com/souffle-lang/souffle/releases/download/2.4.1/x86_64-ubuntu-2004-souffle-2.4.1-Linux.deb
+            SOL_AST_COMPILER_CACHE: ${{ github.workspace }}/.compiler_cache
+            SOLC_TYPED_AST_DIR: ${{ github.workspace }}/solc-typed-ast/src
+
+        steps:
+            - name: Checkout sol-datalog
+              uses: actions/checkout@v4
+              with:
+                  path: main
+
+            - name: Checkout solc-typed-ast
+              uses: actions/checkout@v4
+              with:
+                  repository: ConsenSys/solc-typed-ast
+                  path: solc-typed-ast
+
+            - name: Use NodeJS ${{ matrix.node-version }}
+              uses: actions/setup-node@v4
+              with:
+                  node-version: ${{ matrix.node-version }}
+                  cache: "npm"
+                  cache-dependency-path: main/package-lock.json
+
+            # See https://souffle-lang.github.io/source
+            # See https://github.com/souffle-lang/souffle/releases
+            - name: Install Soufflé
+              run: |
+                  sudo apt update && sudo apt install -y libffi7 mcpp build-essential
+                  wget $SOUFFLE_DEB -O /tmp/souffle.deb
+                  sudo dpkg -i /tmp/souffle.deb
+                  souffle --version
+
+            - name: Install solc-typed-ast
+              run: |
+                  cd solc-typed-ast
+                  npm install
+
+            - name: Install and lint
+              run: |
+                  cd main
+                  npm install
+                  npm link
+                  npm run lint
+                  sol-datalog-cli --version
+
+            # See https://github.com/ethereum/solc-bin
+            # See https://binaries.soliditylang.org/
+            - name: Pre-download compilers from historical builds archive
+              run: sol-datalog-cli --download-compilers native wasm
+
+            - name: Test and generate coverage report
+              run: |
+                  cd main
+                  npm test

.nvmrc

@@ -1 +1 @@
-16.14.0
+20.11.0