From 3012f3bc0069f8b76ae8c43646cc7b5c16df8ee8 Mon Sep 17 00:00:00 2001 From: blitz-1306 Date: Thu, 1 Feb 2024 11:22:10 +0500 Subject: [PATCH] Fix ci: additionally checkout solc-typed-ast --- .github/workflows/ci.yaml | 19 +++++++++++++++---- 1 file changed, 15 insertions(+), 4 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 7c2f7b2..957f40d 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -18,12 +18,21 @@ jobs: 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_REPO: ${{ github.workspace }}/solc-typed-ast + SOLC_TYPED_AST_DIR: ${{ github.workspace }}/solc-typed-ast/src steps: - name: Checkout uses: actions/checkout@v4 + - name: Checkout + uses: actions/checkout@v4 + with: + repository: ConsenSys/solc-typed-ast + path: $SOLC_TYPED_AST_REPO + - name: Use NodeJS ${{ matrix.node-version }} uses: actions/setup-node@v4 with: @@ -34,22 +43,24 @@ jobs: # See https://github.com/souffle-lang/souffle/releases - name: Install Soufflé run: | - sudo apt update && sudo apt install -y libffi7 mcpp - wget https://github.com/souffle-lang/souffle/releases/download/2.4.1/x86_64-ubuntu-2004-souffle-2.4.1-Linux.deb -O /tmp/souffle.deb + 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 and lint run: | + echo $SOLC_TYPED_AST_REPO + echo $SOLC_TYPED_AST_DIR npm install npm link npm run lint - sol-ast-compile --version + 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-ast-compile --download-compilers native wasm + run: sol-datalog-cli --download-compilers native wasm - name: Test and generate coverage report run: npm test