Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

CI update - delete C++/CLI signatures #1900

CI update - delete C++/CLI signatures

CI update - delete C++/CLI signatures #1900

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 }}
Morty Proxy This is a proxified and sanitized view of the page, visit original site.