File tree Expand file tree Collapse file tree 3 files changed +0
-12
lines changed Expand file tree Collapse file tree 3 files changed +0
-12
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
-
7
3
# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
8
4
concurrency :
9
5
group : ${{ github.head_ref }}-${{ github.workflow }}
Original file line number Diff line number Diff line change @@ -17,10 +17,6 @@ name: Caching
17
17
# That is a short story why `dist-newstyle` (especially full) currently is not
18
18
# includded into `master` or PR caches.
19
19
20
- defaults :
21
- run :
22
- shell : bash
23
-
24
20
# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
25
21
concurrency :
26
22
group : ${{ github.head_ref }}-${{ github.workflow }}
Original file line number Diff line number Diff line change 1
1
name : Testing
2
2
3
- defaults :
4
- run :
5
- shell : bash
6
-
7
3
# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
8
4
concurrency :
9
5
group : ${{ github.head_ref }}-${{ github.workflow }}
You can’t perform that action at this time.
0 commit comments