linse/frappy
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

change repo to secop/frappy

Browse Source 
Change-Id: I515c0d958c87d555156861db83a7b22c60046ead
This commit is contained in:
Enrico Faulhaber
2022-10-21 12:40:33 +02:00
parent 20fc48ddf0
commit 92edbb27ea
5 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ci/Dockerfile
View File

@@ -33,11 +33,11 @@ RUN virtualenv /home/jenkins/tools2 && \
rm -rf /home/jenkins/tools2src
RUN virtualenv -p /usr/bin/python3 --system-site-packages /home/jenkins/secopvenv && \
git clone https://forge.frm2.tum.de/review/sine2020/secop/playground /home/jenkins/playground && \
git clone https://forge.frm2.tum.de/review/secop/frappy /home/jenkins/frappy && \
. /home/jenkins/secopvenv/bin/activate && \
pip install -U pip wheel setuptools && \
pip install -r /home/jenkins/playground/requirements-dev.txt -r /home/jenkins/playground/requirements.txt pylint pytest && \
rm -rf /home/jenkins/playground
pip install -r /home/jenkins/frappy/requirements-dev.txt -r /home/jenkins/frappy/requirements.txt pylint pytest && \
rm -rf /home/jenkins/frappy
FROM base AS docs