Skip to content

Clarify that sequence is sorted in example #2117

Clarify that sequence is sorted in example

Clarify that sequence is sorted in example #2117

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: '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 }}
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy