File tree Expand file tree Collapse file tree 2 files changed +41
-1
lines changed Expand file tree Collapse file tree 2 files changed +41
-1
lines changed Original file line number Diff line number Diff line change
1
+ name : Benchmark and Commit Results
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - master
7
+ workflow_dispatch :
8
+
9
+ jobs :
10
+ benchmark :
11
+ runs-on : ubuntu-latest
12
+
13
+ steps :
14
+ - name : Checkout repository
15
+ uses : actions/checkout@v4
16
+ with :
17
+ persist-credentials : false
18
+
19
+ - name : Install Rust toolchain
20
+ uses : dtolnay/rust-toolchain@stable
21
+ with :
22
+ toolchain : nightly
23
+
24
+ - name : Run benchmark script
25
+ run : |
26
+ export PATH="$HOME/.cargo/bin:$PATH"
27
+ sudo -E bash scripts/bench.sh > benchmark_results.txt
28
+ sudo cat benchmark_results.txt
29
+
30
+ - name : Commit and push results
31
+ run : |
32
+ git config --global user.name "github-actions[bot]"
33
+ git config --global user.email "github-actions[bot]@users.noreply.github.com"
34
+ git add benchmark_results.txt
35
+ git commit -m "Update benchmark results [skip ci]" || exit 0
36
+ git push https://${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git HEAD:master
Original file line number Diff line number Diff line change 2
2
3
3
## run
4
4
5
- ` bash scripts/bench.sh `
5
+ ` bash scripts/bench.sh `
6
+
7
+ ## result
8
+
9
+ [ result] ( ./benchmark_results.txt )
You can’t perform that action at this time.
0 commit comments