Skip to content

fix code snippet in 'Collection lookups with spans (What's new in .NET libraries for .NET 9)' documentation #13390

fix code snippet in 'Collection lookups with spans (What's new in .NET libraries for .NET 9)' documentation

fix code snippet in 'Collection lookups with spans (What's new in .NET libraries for .NET 9)' documentation #13390

Workflow file for this run

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: 'The reason for running the workflow'
required: true
default: 'Manual run'
env:
DOTNET_VERSION: '9.0.*'
DOTNET_QUALITY: 'ga'
DOTNET_DO_INSTALL: 'true' # To install a version of .NET not provided by the runner, set to true
EnableNuGetPackageRestore: 'True'
permissions:
contents: read
jobs:
snippets-build:
runs-on: windows-2022
permissions:
statuses: write
steps:
# Checkout the repository for the PR
- name: Harden Runner
uses: step-security/harden-runner@0080882f6c36860b6ba35c610c98ce87d4e2f26f # v2.10.2
with:
egress-policy: audit
- name: Checkout repository
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 #@v4.2.2
# Get the latest preview SDK (or sdk not installed by the runner)
- name: Setup .NET
if: ${{ env.DOTNET_DO_INSTALL == 'true' }}
uses: actions/setup-dotnet@3e891b0cb619bf60e2c25674b222b8940e2c1c25 #@4.1.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 --depth 1 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 }}