File tree Expand file tree Collapse file tree 1 file changed +6
-5
lines changed
Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Original file line number Diff line number Diff line change @@ -61,13 +61,14 @@ jobs:
6161
6262 - name : Commit and push plots to gh-pages
6363 run : |
64- git config --global user.email "[email protected] " 65- git config --global user.name "Yuxuan Jiang"
64+ COMMIT_HASH=$(git rev-parse --short HEAD)
65+ git config user.email "[email protected] " 66+ git config user.name "Yuxuan Jiang"
6667 git checkout gh-pages
6768 git pull origin gh-pages
6869 cp eval_scripts/perf_benchmark/overhead_micro.pdf dev/bench
6970 cp eval_scripts/perf_benchmark/overhead_macro.pdf dev/bench
70- git add overhead_micro.pdf
71- git add overhead_macro.pdf
72- git commit -m "Update benchmark plots"
71+ git add dev/bench/ overhead_micro.pdf
72+ git add dev/bench/ overhead_macro.pdf
73+ git commit -m "Update benchmark plots for $COMMIT_HASH "
7374 git push origin gh-pages
You can’t perform that action at this time.
0 commit comments