7
7
workflow_dispatch :
8
8
inputs :
9
9
pr_number :
10
- required : true
10
+ default : 91 # TODO: remove this line and uncomment required: true
11
+ # required: true
11
12
type : number
13
+ scheduler :
14
+ default : NP
15
+ feature_branch :
16
+ default : automated_full_benchmark # TODO (same as above)
17
+ # required: true
12
18
13
19
permissions :
14
20
contents : write
@@ -33,36 +39,37 @@ jobs:
33
39
repository : lf-lang/reactor-c
34
40
token : ${{ secrets.GITHUB_TOKEN }}
35
41
fetch-depth : 0 # It will be necessary to push to this repo
36
- ref : automated-full-benchmark # FIXME: delete this line after merge
42
+ ref : graphics
37
43
path : reactor-c
38
44
39
45
- name : Set up workspace
40
46
uses : lf-lang/reactor-c/.github/actions/set-up-workspace@automated-full-benchmark
41
47
42
- - name : Run C Benchmarks
43
- # run: |
44
- # ./runner/run_benchmark.py -m continue_on_error=True iterations=12 \
45
- # benchmark="glob(*)" target=lf-c size=fast \
46
- # target.params.scheduler=GEDF_NP,NP,adaptive threads=1,3,6,12,24
47
- run : | # DEBUG
48
- ./runner/run_benchmark.py -m continue_on_error=True iterations=12 \
49
- benchmark="savina_parallelism_recmatmul" target=lf-c size=fast \
50
- target.params.scheduler=NP,adaptive threads=1,3,0
51
- shell : bash
48
+ - name : Run C Benchmarks (feature branch)
49
+ id : benchmarks-feature
50
+ uses : lf-lang/reactor-c/.github/actions/run-benchmarks@automated-full-benchmark
51
+ with :
52
+ scheduler : ${{ github.event.inputs.scheduler }}
53
+ runtime-ref : ${{ github.event.inputs.branch }}
52
54
53
- - name : Collect benchmark results
54
- run : |
55
- ./runner/collect_results.py latest latest-benchmark-results.csv
56
- shell : bash
55
+ - name : Run C Benchmarks (main branch)
56
+ id : benchmarks-main
57
+ uses : lf-lang/reactor-c/.github/actions/run-benchmarks@automated-full-benchmark
58
+ with :
59
+ scheduler : GEDF_NP,NP,adaptive
60
+ runtime-ref : main
57
61
58
62
- name : Make figure
59
63
run : |
60
64
OUTPUT_DIR=images/$(date -I)
65
+ echo "Figure will be created in $OUTPUT_DIR"
61
66
SHA=${{ github.sha }}
62
67
OUTPUT_FILE=$OUTPUT_DIR/${SHA:0:7}.png
68
+ echo "Figure will be named $OUTPUT_FILE"
63
69
mkdir -p reactor-c/$OUTPUT_DIR
64
- ./runner/make-graphics.py latest-benchmark-results.csv reactor-c/$OUTPUT_FILE
65
- echo "::set-output name=output_file::$OUTPUT_FILE"
70
+ ./runner/make-graphics.py ${{ steps.benchmarks-feature.outputs.output-file }} \
71
+ ${{ steps.benchmarks-main.outputs.output-file }} reactor-c/$OUTPUT_FILE
72
+ echo "::set-output name=output-file::$OUTPUT_FILE"
66
73
shell : bash
67
74
id : figure
68
75
72
79
git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
73
80
git config --global user.name "github-actions[bot]"
74
81
git fetch
75
- git switch graphics
76
- git add ${{ steps.figure.outputs.OUTPUT_FILE }}
82
+ git add ${{ steps.figure.outputs.output-file }}
77
83
git commit -m "benchmark ${{ github.sha }}"
78
84
git config -l | grep 'http\..*\.extraheader' | cut -d= -f1 | \
79
85
xargs -L1 git config --unset-all
86
92
with :
87
93
message : |
88
94

89
- pr_number : 91 # ${{ inputs.pr_number }}
95
+ pr_number : ${{ inputs.pr_number }}
90
96
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
0 commit comments