Fix typo and para tags #1405
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: 'Snippets 5000' | |
# Controls when the action will run. Triggers the workflow on push or pull request | |
# events on the main branch only. | |
on: | |
pull_request: | |
branches: [ main ] | |
types: [opened, synchronize, reopened] | |
workflow_dispatch: | |
inputs: | |
reason: | |
description: 'Run Snippets 5000 to compile code' | |
required: true | |
default: 'Manual run' | |
env: | |
DOTNET_VERSION: '9.0.*' | |
DOTNET_QUALITY: 'preview' | |
DOTNET_DO_INSTALL: 'true' # To install a version of .NET not provided by the runner, set to true | |
EnableNuGetPackageRestore: 'True' | |
jobs: | |
snippets-build: | |
runs-on: windows-2022 | |
permissions: | |
statuses: write | |
steps: | |
# Check out the repository for the PR | |
- name: Check out repository | |
uses: actions/checkout@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b #@v4.1.5 | |
# Get the latest preview SDK (or sdk not installed by the runner) | |
- name: Set up .NET SDK | |
if: ${{ env.DOTNET_DO_INSTALL == 'true' }} | |
uses: actions/setup-dotnet@4d6c8fcf3c8f7a60068d26b594648e99df24cee3 #@4.0.0 | |
with: | |
dotnet-version: ${{ env.DOTNET_VERSION }} | |
dotnet-quality: ${{ env.DOTNET_QUALITY }} | |
# Print dotnet info | |
- name: Display .NET info | |
run: | | |
dotnet --info | |
# Clone docs-tools repo | |
- name: Clone docs-tools repository | |
run: | | |
git clone https://github.com/dotnet/docs-tools | |
# Run snippets 5000 | |
- name: Run snippets 5000 for PR | |
env: | |
GitHubKey: ${{ secrets.GITHUB_TOKEN }} | |
ExtensionsCodeTriggers: .cs;.vb;.fs;.xaml;.razor;.cshtml;.vbhtml;.sln;.csproj;.fsproj;.vbproj;.proj | |
ExtensionsProjects: .sln;.csproj;.fsproj;.vbproj;.proj | |
run: | | |
dotnet run --project docs-tools/snippets5000/Snippets5000/Snippets5000.csproj -- --sourcepath "${{ github.workspace }}" --pullrequest ${{ github.event.number }} --owner ${{ github.repository_owner }} --repo ${{ github.event.repository.name }} |