Merge remote-tracking branch 'origin/master' into devel

RosettaCommons · Mar 15, 2024 · 402ca34 · 402ca34
2 parents dc94e3d + e2ba081
commit 402ca34
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/examples/Dockerfile b/examples/Dockerfile
@@ -1,9 +1,12 @@
-FROM ubuntu:20.04 as base
-
 # Config
 ARG BRANCH="master"
 ARG CLANG_VERSION=14
 
+
+FROM ubuntu:20.04 as base
+ARG BRANCH
+ARG CLANG_VERSION
+
 # General dependencies
 ENV DEBIAN_FRONTEND=noninteractive
 RUN apt-get update \
@@ -22,6 +25,8 @@ RUN apt-get update \
 
 # Build binder
 FROM base as build
+ARG BRANCH
+ARG CLANG_VERSION
 
 # Build dependencies
 RUN apt-get update