From a658bd10c2f2b85b432ead8df0cd497240d62dbb Mon Sep 17 00:00:00 2001 From: Hyo-Kyung Lee Date: Wed, 18 Sep 2024 17:28:44 -0500 Subject: [PATCH] ci: add missing dependency and fix path to build script --- .github/workflows/main.yml | 2 +- docker/deps.Dockerfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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