1
0
Fork 0

Merge branch 'main' into inheritedwidget

inheritedwidget
Jonas Franz 2 years ago
commit c98b0409f6
  1. 6
      .drone.yml

@ -106,9 +106,9 @@ steps:
- run_benchmarks
commands:
- git clone https://git.jonasfranz.software/KoSI/thesis.git
- mkdir -p thesis/results/${DRONE_REPO_BRANCH}
- cp metrics.tex thesis/results/${DRONE_REPO_BRANCH}/
- cp benchmarks.txt thesis/results/${DRONE_REPO_BRANCH}/
- mkdir -p thesis/results/${DRONE_COMMIT_BRANCH}
- cp metrics.tex thesis/results/${DRONE_COMMIT_BRANCH}/
- cp benchmarks.txt thesis/results/${DRONE_COMMIT_BRANCH}/
- cd thesis
- git add results/
- git status

Loading…
Cancel
Save