File tree Expand file tree Collapse file tree 1 file changed +4
-5
lines changed Expand file tree Collapse file tree 1 file changed +4
-5
lines changed Original file line number Diff line number Diff line change 1
1
name : Benchmark
2
2
3
+ defaults :
4
+ run :
5
+ shell : bash
6
+
3
7
# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
4
8
concurrency :
5
9
group : ${{ github.head_ref }}-${{ github.workflow }}
@@ -89,17 +93,14 @@ jobs:
89
93
- run : cabal configure --enable-benchmarks --max-backjumps 12000
90
94
91
95
- name : Build
92
- shell : bash
93
96
run : cabal build ghcide:benchHist
94
97
95
98
- name : Bench init
96
- shell : bash
97
99
run : cabal bench ghcide:benchHist -j --benchmark-options="all-binaries"
98
100
99
101
# tar is required to preserve file permissions
100
102
# compression speeds up upload/download nicely
101
103
- name : tar workspace
102
- shell : bash
103
104
run : tar -czf workspace.tar.gz * .git
104
105
105
106
- name : tar cabal
@@ -159,11 +160,9 @@ jobs:
159
160
tar xzf cabal.tar.gz --directory ~/.cabal
160
161
161
162
- name : Bench
162
- shell : bash
163
163
run : cabal bench ghcide:benchHist -j --benchmark-options="${{ matrix.example }}"
164
164
165
165
- name : Display results
166
- shell : bash
167
166
run : |
168
167
column -s, -t < ghcide/bench-results/unprofiled/${{ matrix.example }}/results.csv | tee ghcide/bench-results/unprofiled/${{ matrix.example }}/results.txt
169
168
You can’t perform that action at this time.
0 commit comments