🚧 Create new gh workflow build-and-run-pytest

Crypto-TII · Sep 28, 2023 · 1d63f78 · 1d63f78
1 parent 9e90eed
commit 1d63f78
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -24,7 +24,7 @@ RUN apt-get install -y build-essential \
   wget \
   z3
 
-COPY sitecustomize.py /usr/lib/python3.10/sitecustomize.py
+COPY docker/sitecustomize.py /usr/lib/python3.10/sitecustomize.py
 
 WORKDIR /opt
 

diff --git a/docker/required_dependencies/assess.c → required_dependencies/assess.c b/docker/required_dependencies/assess.c → required_dependencies/assess.c
diff --git a/docker/required_dependencies/utilities.c → required_dependencies/utilities.c b/docker/required_dependencies/utilities.c → required_dependencies/utilities.c
diff --git a/docker/required_dependencies/utilities.h → required_dependencies/utilities.h b/docker/required_dependencies/utilities.h → required_dependencies/utilities.h