diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 067e33a61..92daec6fa 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -65,7 +65,7 @@ jobs: - name: Build and Test # if: steps.hermes-cache.outputs.cache-hit != 'true' - run: docker exec /hermes_deps_c bash hermes/ci/build_hermes.sh + run: docker exec /hermes_deps_c bash /hermes/ci/build_hermes.sh # - name: Test # run: bash ci/test_hermes.sh diff --git a/docker/deps.Dockerfile b/docker/deps.Dockerfile index 5a7a83cf7..4363eb1d7 100644 --- a/docker/deps.Dockerfile +++ b/docker/deps.Dockerfile @@ -28,7 +28,7 @@ RUN apt install -y \ build-essential ca-certificates \ coreutils curl environment-modules \ gfortran git gpg lsb-release \ - unzip zip \ + unzip zip libelf-dev \ bash jq gdbserver gdb # Setup basic environment