File tree Expand file tree Collapse file tree 3 files changed +14
-8
lines changed Expand file tree Collapse file tree 3 files changed +14
-8
lines changed Original file line number Diff line number Diff line change @@ -9,10 +9,11 @@ concurrency:
9
9
group : ${{ github.head_ref }}-${{ github.workflow }}
10
10
cancel-in-progress : true
11
11
12
- on :
13
- pull_request :
14
- branches :
15
- - ' **'
12
+ # 2021-12-21: FIXME: Please, drop this comment before merge
13
+ # on:
14
+ # pull_request:
15
+ # branches:
16
+ # - '**'
16
17
17
18
jobs :
18
19
pre_job :
Original file line number Diff line number Diff line change 42
42
# Reinstitution of the main chache puts it back into FIFO
43
43
# & so it gets shared across all PRs.
44
44
- cron : " 25 2/8 * * *"
45
+ # 2021-12-21: FIXME: Please, drop this comment before merge
46
+ pull_request :
47
+ branches :
48
+ - ' **'
45
49
46
50
env :
47
51
cabalBuild : " v2-build all --enable-tests --enable-benchmarks"
Original file line number Diff line number Diff line change @@ -9,10 +9,11 @@ concurrency:
9
9
group : ${{ github.head_ref }}-${{ github.workflow }}
10
10
cancel-in-progress : true
11
11
12
- on :
13
- pull_request :
14
- branches :
15
- - ' **'
12
+ # 2021-12-21: FIXME: Please, drop this comment before merge
13
+ # on:
14
+ # pull_request:
15
+ # branches:
16
+ # - '**'
16
17
17
18
jobs :
18
19
pre_job :
You can’t perform that action at this time.
0 commit comments