powershell likes CamelCase

utensil · Dec 11, 2023 · 3e5233f · 3e5233f
1 parent 966bea7
commit 3e5233f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/lean4.yml b/.github/workflows/lean4.yml
@@ -36,7 +36,7 @@ jobs:
         if: matrix.os == 'windows-latest'
         run: |
           curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.ps1
-          powershell -ExecutionPolicy Bypass -f elan-init.ps1 -NoPrompt $true
+          powershell -ExecutionPolicy Bypass -f elan-init.ps1 -NoPrompt $True
           del elan-init.ps1
       - uses: actions/checkout@v3
       - name: Setup Python