File tree 1 file changed +17
-2
lines changed
1 file changed +17
-2
lines changed Original file line number Diff line number Diff line change @@ -205,7 +205,16 @@ jobs:
205
205
206
206
test_windows_fast :
207
207
runs-on : [self-hosted, Windows]
208
- if : false
208
+ if : " (
209
+ github.event_name == 'push'
210
+ && github.ref != 'refs/heads/main'
211
+ )
212
+ || github.event_name == 'merge_group'
213
+ || (
214
+ github.event_name == 'pull_request'
215
+ && !contains(github.event.pull_request.body, '[skip ci]')
216
+ && !contains(github.event.pull_request.body, '[skip test_windows_fast]')
217
+ )"
209
218
210
219
steps :
211
220
- name : Reset existing repo
@@ -243,7 +252,13 @@ jobs:
243
252
244
253
test_windows_full :
245
254
runs-on : [self-hosted, Windows]
246
- if : false
255
+ if : " github.event_name == 'schedule' && github.repository == 'scala/scala3'
256
+ || github.event_name == 'push'
257
+ || (
258
+ github.event_name == 'pull_request'
259
+ && !contains(github.event.pull_request.body, '[skip ci]')
260
+ && contains(github.event.pull_request.body, '[test_windows_full]')
261
+ )"
247
262
248
263
steps :
249
264
- name : Reset existing repo
You can’t perform that action at this time.
0 commit comments