.github/with-docker/Dockerfile: add poetry

runtimeverification · Sep 4, 2024 · 8994591 · 8994591
1 parent 103d7d1
commit 8994591
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/actions/with-docker/Dockerfile b/.github/actions/with-docker/Dockerfile
@@ -33,3 +33,6 @@ ENV PATH=/home/user/riscv/bin:${PATH}
 
 COPY --from=SAIL /usr/bin/riscv_sim_RV32 /usr/bin/riscv_sim_RV32
 COPY --from=SAIL /usr/bin/riscv_sim_RV64 /usr/bin/riscv_sim_RV64
+
+RUN    curl -sSL https://install.python-poetry.org | python3 - \
+    && poetry --version