File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -38,14 +38,15 @@ jobs:
3838 with:
3939 token: ${{ secrets.GITHUB_TOKEN }}
4040 - name: Print Manticore Locator
41+ shell: powershell
4142 run: |
42- echo "Using MANTICORE_LOCATOR: '${{ inputs.MANTICORE_LOCATOR }}'"
43- if [[ -n "${{ inputs.MANTICORE_LOCATOR }}" ]]; then
44- echo "Manticore locator is set and will be used for testing"
45- else
46- echo "Manticore locator is empty, using default manticore sources"
47- fi
48- - name : Determine branch name for cache
43+ Write-Host "Using MANTICORE_LOCATOR: '${{ inputs.MANTICORE_LOCATOR }}'"
44+ if ( "${{ inputs.MANTICORE_LOCATOR }}") {
45+ Write-Host "Manticore locator is set and will be used for testing"
46+ } else {
47+ Write-Host "Manticore locator is empty, using default manticore sources"
48+ }
49+ - name: Determine branch name for cache
4950 id: branch
5051 run: |
5152 if ("${{ github.event_name }}" -eq "pull_request") {
You can’t perform that action at this time.
0 commit comments