File tree 1 file changed +4
-5
lines changed
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 }}
@@ -72,17 +76,14 @@ jobs:
72
76
- run : cabal configure --enable-benchmarks --max-backjumps 12000
73
77
74
78
- name : Build
75
- shell : bash
76
79
run : cabal build ghcide:benchHist
77
80
78
81
- name : Bench init
79
- shell : bash
80
82
run : cabal bench ghcide:benchHist -j --benchmark-options="all-binaries"
81
83
82
84
# tar is required to preserve file permissions
83
85
# compression speeds up upload/download nicely
84
86
- name : tar workspace
85
- shell : bash
86
87
run : tar -czf workspace.tar.gz * .git
87
88
88
89
- name : tar cabal
@@ -142,11 +143,9 @@ jobs:
142
143
tar xzf cabal.tar.gz --directory ~/.cabal
143
144
144
145
- name : Bench
145
- shell : bash
146
146
run : cabal bench ghcide:benchHist -j --benchmark-options="${{ matrix.example }}"
147
147
148
148
- name : Display results
149
- shell : bash
150
149
run : |
151
150
column -s, -t < ghcide/bench-results/unprofiled/${{ matrix.example }}/results.csv | tee ghcide/bench-results/unprofiled/${{ matrix.example }}/results.txt
152
151
You can’t perform that action at this time.
0 commit comments