authorgravatar for kappaloris@gmail.comLoris Cro <kappaloris@gmail.com> 2022-11-25 20:19:25+01:00
committergravatar for kappaloris@gmail.comLoris Cro <kappaloris@gmail.com> 2022-11-25 20:19:25+01:00
loge096f972d08fa32a7f269b7326c05b7eaf065b23
tree5c896b6de3b6b200a6105d7c3dca253832188dfb
parentbc90f2ae3cb94cb5282a88a990792dc7a97f4cc7

ci: windows: use correct windows powershell syntax

1 files changed, 8 insertions(+), 8 deletions(-)

.github/workflows/ci.yaml+8-8
...@@ -51,7 +51,7 @@ jobs:...@@ -51,7 +51,7 @@ jobs:
51 - name: Switch to specific commit51 - name: Switch to specific commit
52 if: ${{ github.event_name == 'workflow_dispatch' }}52 if: ${{ github.event_name == 'workflow_dispatch' }}
53 run: |53 run: |
54 rf -rf ../ci54 rm -rf ../ci
55 cp -r ci ../55 cp -r ci ../
56 git checkout ${{ inputs.commit }}56 git checkout ${{ inputs.commit }}
57 rm -rf ci57 rm -rf ci
...@@ -69,7 +69,7 @@ jobs:...@@ -69,7 +69,7 @@ jobs:
69 - name: Switch to specific commit69 - name: Switch to specific commit
70 if: ${{ github.event_name == 'workflow_dispatch' }}70 if: ${{ github.event_name == 'workflow_dispatch' }}
71 run: |71 run: |
72 rf -rf ../ci72 rm -rf ../ci
73 cp -r ci ../73 cp -r ci ../
74 git checkout ${{ inputs.commit }}74 git checkout ${{ inputs.commit }}
75 rm -rf ci75 rm -rf ci
...@@ -87,7 +87,7 @@ jobs:...@@ -87,7 +87,7 @@ jobs:
87 - name: Switch to specific commit87 - name: Switch to specific commit
88 if: ${{ github.event_name == 'workflow_dispatch' }}88 if: ${{ github.event_name == 'workflow_dispatch' }}
89 run: |89 run: |
90 rf -rf ../ci90 rm -rf ../ci
91 cp -r ci ../91 cp -r ci ../
92 git checkout ${{ inputs.commit }}92 git checkout ${{ inputs.commit }}
93 rm -rf ci93 rm -rf ci
...@@ -105,10 +105,10 @@ jobs:...@@ -105,10 +105,10 @@ jobs:
105 - name: Switch to specific commit105 - name: Switch to specific commit
106 if: ${{ github.event_name == 'workflow_dispatch' }}106 if: ${{ github.event_name == 'workflow_dispatch' }}
107 run: |107 run: |
108 rf -rf ../ci108 del -r ../ci
109 cp -r ci ../109 cp ci ../
110 git checkout ${{ inputs.commit }}110 git checkout ${{ inputs.commit }}
111 rm -rf ci111 del -r ci
112 mv ../ci .112 mv ../ci .
113 - name: Build and Test113 - name: Build and Test
114 run: ./ci/windows/build.ps1114 run: ./ci/windows/build.ps1
...@@ -121,7 +121,7 @@ jobs:...@@ -121,7 +121,7 @@ jobs:
121 - name: Switch to specific commit121 - name: Switch to specific commit
122 if: ${{ github.event_name == 'workflow_dispatch' }}122 if: ${{ github.event_name == 'workflow_dispatch' }}
123 run: |123 run: |
124 rf -rf ../ci124 rm -rf ../ci
125 cp -r ci ../125 cp -r ci ../
126 git checkout ${{ inputs.commit }}126 git checkout ${{ inputs.commit }}
127 rm -rf ci127 rm -rf ci
...@@ -139,7 +139,7 @@ jobs:...@@ -139,7 +139,7 @@ jobs:
139 - name: Switch to specific commit139 - name: Switch to specific commit
140 if: ${{ github.event_name == 'workflow_dispatch' }}140 if: ${{ github.event_name == 'workflow_dispatch' }}
141 run: |141 run: |
142 rf -rf ../ci142 rm -rf ../ci
143 cp -r ci ../143 cp -r ci ../
144 git checkout ${{ inputs.commit }}144 git checkout ${{ inputs.commit }}
145 rm -rf ci145 rm -rf ci