fix: ignore default shell due to github actions issues (#67)

matter-labs · Mar 5, 2024 · a4edd8a · a4edd8a
1 parent 2bb156a
commit a4edd8a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/.github/workflows/handle_llvm_runner_image.yml b/.github/workflows/handle_llvm_runner_image.yml
@@ -21,6 +21,7 @@ jobs:
       - uses: hadolint/[email protected]
         with:
           dockerfile: images/llvm_runner/${{ matrix.tag_prefix }}.Dockerfile
+          ignore: DL4006
 
       - name: Identify short SHA
         id: short_sha

diff --git a/images/llvm_runner/ubuntu22-llvm15.Dockerfile b/images/llvm_runner/ubuntu22-llvm15.Dockerfile
@@ -1,8 +1,5 @@
 FROM ubuntu:22.04
 
-# Correctly handle errors with pipe commands
-SHELL ["/bin/bash", "-o", "pipefail", "-c"]
-
 # Use defaults from apt
 ENV DEBIAN_FRONTEND=noninteractive