Error occurred when using dune build system on WSL2 windows folder, but success on Linux folder #45155
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Sync GitHub with ADO | |
| on: | |
| issues: | |
| types: [closed, edited, deleted, reopened, assigned, unassigned, labeled, unlabeled] | |
| issue_comment: | |
| jobs: | |
| build: | |
| name: GH-Sync tracked issue | |
| if: ${{ github.event.label.name == 'tracking' || contains(github.event.issue.labels.*.name, 'tracking') }} # Filters out issues/events without the 'tracking' label | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: 'Trigger gh-sync' | |
| uses: craigloewen-msft/gh-sync@main | |
| with: | |
| ado-organization-url: ${{ secrets.AZURE_DEVOPS_URL }} | |
| ado-project: ${{ secrets.AZURE_DEVOPS_PROJECT }} | |
| ado-area-path: ${{ secrets.AZURE_DEVOPS_PATH }} | |
| github-repo: 'microsoft/WSL' | |
| issue-number: ${{github.event.issue.number}} # Auto-generated from GitHub action | |
| ado-token: ${{ secrets.AZURE_DEVOPS_TOKEN }} # Your Personal Access Token (PAT) | |
| github-token: ${{ secrets.GITHUB_TOKEN }} # Auto-generated from GitHub action | |
| network-sync: | |
| name: GH-Sync networking issue | |
| if: ${{ github.event.label.name == 'network' || contains(github.event.issue.labels.*.name, 'network') }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: 'Trigger gh-sync' | |
| uses: craigloewen-msft/gh-sync@main | |
| with: | |
| ado-organization-url: ${{ secrets.AZURE_DEVOPS_URL }} | |
| ado-project: ${{ secrets.AZURE_DEVOPS_PROJECT }} | |
| ado-area-path: ${{ secrets.AZURE_DEVOPS_NETWORKING_PATH }} | |
| github-repo: 'microsoft/WSL' | |
| issue-number: ${{github.event.issue.number}} # Auto-generated from GitHub action | |
| ado-token: ${{ secrets.AZURE_DEVOPS_TOKEN }} # Your Personal Access Token (PAT) | |
| github-token: ${{ secrets.GITHUB_TOKEN }} # Auto-generated from GitHub action | |
| gpu-sync: | |
| name: GH-Sync GPU issue | |
| if: ${{ github.event.label.name == 'GPU' || contains(github.event.issue.labels.*.name, 'GPU') }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: 'Trigger gh-sync' | |
| uses: craigloewen-msft/gh-sync@main | |
| with: | |
| ado-organization-url: ${{ secrets.AZURE_DEVOPS_URL }} | |
| ado-project: ${{ secrets.AZURE_DEVOPS_PROJECT }} | |
| ado-area-path: ${{ secrets.AZURE_DEVOPS_GPU_PATH }} | |
| github-repo: 'microsoft/WSL' | |
| issue-number: ${{github.event.issue.number}} # Auto-generated from GitHub action | |
| ado-token: ${{ secrets.AZURE_DEVOPS_TOKEN }} # Your Personal Access Token (PAT) | |
| github-token: ${{ secrets.GITHUB_TOKEN }} # Auto-generated from GitHub action | |
| ado-assigned-to: ${{ secrets.AZURE_DEVOPS_GPU_ASSIGNED_TO }} | |