Commit 22778cb 1 parent df05378 commit 22778cb Copy full SHA for 22778cb
File tree 2 files changed +2
-2
lines changed
2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change 52
52
| sed -e '/ALL_DEPS_DIFF/{r all-deps-diff' -e 'd}' \
53
53
> pr-comment
54
54
- name : Publish PR comment
55
- continue-on-error : true
56
55
uses : marocchino/sticky-pull-request-comment@v2
57
56
with :
58
57
header : deps-diff
Original file line number Diff line number Diff line change 36
36
run : cargo clippy --tests --lib -- -D clippy::all
37
37
bench :
38
38
runs-on : ubuntu-latest
39
+ permissions :
40
+ pull-requests : write
39
41
needs : build
40
42
steps :
41
43
- uses : actions/checkout@v3
49
51
./measure_perf -n 3 --no-bench-primes-gen > perf_output
50
52
sed -e '/PERF_OUTPUT/{r perf_output' -e 'd}' .github/pr-comment.tpl > pr-comment
51
53
- name : Leave PR comment
52
- continue-on-error : true
53
54
uses : marocchino/sticky-pull-request-comment@v2
54
55
with :
55
56
header : bench
You can’t perform that action at this time.
0 commit comments