File tree 2 files changed +5
-5
lines changed
2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 14
14
merge_group : {}
15
15
16
16
concurrency :
17
- group : ${{ github.event.merge_group.head_ref || github.ref_name }}
17
+ group : ci3- ${{ github.event.merge_group.head_ref || github.ref_name }}
18
18
cancel-in-progress : true
19
19
20
20
jobs :
@@ -82,11 +82,11 @@ jobs:
82
82
fi
83
83
84
84
- name : Download benchmarks
85
- if : github.event_name == 'merge_group' || contains(github.event.pull_request.labels.*.name, 'ci-full')
85
+ if : github.event_name == 'merge_group'
86
86
run : ./ci.sh gh-bench
87
87
88
88
- name : Upload benchmarks
89
- if : github.event_name == 'merge_group' || contains(github.event.pull_request.labels.*.name, 'ci-full')
89
+ if : github.event_name == 'merge_group'
90
90
uses : benchmark-action/github-action-benchmark@4de1bed97a47495fc4c5404952da0499e31f5c29
91
91
with :
92
92
name : Aztec Benchmarks
Original file line number Diff line number Diff line change 7
7
8
8
if [ -z " ${1:- } " ]; then
9
9
num_cpus=$( get_num_cpus)
10
- jobs =$(( num_cpus / 2 ))
10
+ num_cpus =$(( num_cpus / 2 ))
11
11
else
12
- jobs =$( get_num_cpus_max ${1:- } )
12
+ num_cpus =$( get_num_cpus_max ${1:- } )
13
13
fi
14
14
15
15
[ -t 1 ] && no_term=0 || no_term=1
You can’t perform that action at this time.
0 commit comments