2727 fetch-depth : 1
2828 ref : automated-full-benchmark # FIXME: delete this line after merge
2929
30+ - name : Checkout reactor-c
31+ uses : actions/checkout@v2
32+ with :
33+ repository : lf-lang/reactor-c
34+ token : ${{ secrets.GITHUB_TOKEN }}
35+ fetch-depth : 0 # It will be necessary to push to this repo
36+ ref : automated-full-benchmark # FIXME: delete this line after merge
37+ path : reactor-c
38+
3039 - name : Set up workspace
3140 uses : lf-lang/reactor-c/.github/actions/set-up-workspace@automated-full-benchmark
3241
@@ -46,27 +55,20 @@ jobs:
4655 ./runner/collect_results.py latest latest-benchmark-results.csv
4756 shell : bash
4857
49- - name : Checkout reactor-c
50- uses : actions/checkout@v2
51- with :
52- repository : lf-lang/reactor-c
53- token : ${{ secrets.GITHUB_TOKEN }}
54- fetch-depth : 0
55- ref : automated-full-benchmark # FIXME: delete this line after merge
56-
5758 - name : Make figure
5859 run : |
5960 OUTPUT_DIR=images/$(date -I)
6061 SHA=${{ github.sha }}
6162 OUTPUT_FILE=$OUTPUT_DIR/${SHA:0:7}.png
6263 mkdir -p $OUTPUT_DIR
63- ../benchmarks-lingua-franca /runner/make-graphics.py latest-benchmark-results.csv $OUTPUT_FILE
64+ ./runner/make-graphics.py latest-benchmark-results.csv $OUTPUT_FILE
6465 echo "::set-output name=output_file::$OUTPUT_FILE"
6566 shell : bash
6667 id : figure
6768
6869 - name : Commit figure
6970 run : |
71+ cd reactor-c
7072 git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
7173 git config --global user.name "github-actions[bot]"
7274 git fetch
7678 git config -l | grep 'http\..*\.extraheader' | cut -d= -f1 | \
7779 xargs -L1 git config --unset-all
7880 git push https://token:${{ secrets.GITHUB_TOKEN }}@github.com/lf-lang/reactor-c.git
81+ cd ..
82+ shell : bash
7983
8084 - name : Comment PR
8185 uses : thollander/actions-comment-pull-request@v1
0 commit comments