···

       
1
       
 
       
name: Windows CI

     

       
2
       
 
       
on:

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
3
       
 
       
  pull_request:

     

       
4
       
 
       
env:

     

       
5
       
 
       
  OPAMROOT: D:\opamroot

     
···

       
47
       
 
       


     

       
48
       
 
       
      - name: Get changed files

     

       
49
       
 
       
        id: changed-files

     

       
0
       
 
       

     

       
50
       
 
       
        uses: tj-actions/changed-files@v44

     

       
51
       
 
       


     

       
52
       
 
       
      - name: List all changed packages

     

       
53
       
 
       
        id: changed-packages

     

       
0
       
 
       

     

       
54
       
 
       
        env:

     

       
55
       
 
       
          ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }}

     

       
56
       
 
       
        run: |

     
···

       
69
       
 
       
      - name: Install packages

     

       
70
       
 
       
        env:

     

       
71
       
 
       
          ALL_CHANGED_PACKAGES: ${{ steps.changed-packages.outputs.data }}

     

       
0
       
 
       

     

       
72
       
 
       
        run: |

     

       
73
       
 
       
          $pkgs = $env:ALL_CHANGED_PACKAGES | ConvertFrom-Json

     

       
74
       
 
       
          $failed = $false

     

···

       
1
       
 
       
name: Windows CI

     

       
2
       
 
       
on:

     

       
3
       
+
       
  push:

     

       
4
       
+
       
    branches:

     

       
5
       
+
       
      - 'master'

     

       
6
       
 
       
  pull_request:

     

       
7
       
 
       
env:

     

       
8
       
 
       
  OPAMROOT: D:\opamroot

     
···

       
50
       
 
       


     

       
51
       
 
       
      - name: Get changed files

     

       
52
       
 
       
        id: changed-files

     

       
53
       
+
       
        if: github.event_name != 'push'

     

       
54
       
 
       
        uses: tj-actions/changed-files@v44

     

       
55
       
 
       


     

       
56
       
 
       
      - name: List all changed packages

     

       
57
       
 
       
        id: changed-packages

     

       
58
       
+
       
        if: github.event_name != 'push'

     

       
59
       
 
       
        env:

     

       
60
       
 
       
          ALL_CHANGED_FILES: ${{ steps.changed-files.outputs.all_changed_files }}

     

       
61
       
 
       
        run: |

     
···

       
74
       
 
       
      - name: Install packages

     

       
75
       
 
       
        env:

     

       
76
       
 
       
          ALL_CHANGED_PACKAGES: ${{ steps.changed-packages.outputs.data }}

     

       
77
       
+
       
        if: github.event_name != 'push'

     

       
78
       
 
       
        run: |

     

       
79
       
 
       
          $pkgs = $env:ALL_CHANGED_PACKAGES | ConvertFrom-Json

     

       
80
       
 
       
          $failed = $false