rename performance.git to statistics.git

This commit is contained in:
Philip Eisenlohr 2023-07-17 13:39:22 +00:00
parent 4cd1587f71
commit 3d9e637f6e
1 changed files with 2 additions and 2 deletions

View File

@ -209,7 +209,7 @@ grid_performance:
- make -j2 all install
- export PATH=${PWD}/bin:${PATH}
- cd $(mktemp -d)
- git clone -q git@git.damask.mpie.de:damask/performance.git .
- git clone -q git@git.damask.mpie.de:damask/statistics.git .
- ./measure_performance.py --input_dir ${CI_PROJECT_DIR}/examples/grid --tag ${CI_COMMIT_SHA}
- >
if [ ${CI_COMMIT_BRANCH} == development ]; then
@ -222,7 +222,7 @@ update_plots:
stage: statistics
script:
- cd $(mktemp -d)
- git clone -q git@git.damask.mpie.de:damask/performance.git .
- git clone -q git@git.damask.mpie.de:damask/statistics.git .
- ./plot_commithistory.py --color green -n 5 -N 100
- ./plot_commithistory.py --color green -n 5 -N 1000
- ./plot_commithistory.py --color green -n 5 -N 10000