[Version 10.0] Feature support for record with sealed ToString #1331

	name: Test examples

	# Triggers the workflow on pull request events that update the branch
	on:
	pull_request:
	types: [opened, synchronize, reopened]
	paths:
	- "standard/*.md"
	- "tools/example-templates/**"
	- "tools/ExampleExtractor/**"
	- "tools/ExampleTester/**"
	- "tools/Utilities/**"
	- "tools/test-examples.sh"
	workflow_dispatch:
	inputs:
	reason:
	description: 'The reason for running the workflow'
	required: true
	default: 'Manual run'

	jobs:
	test-extraction-and-runner:
	runs-on: ubuntu-latest
	permissions:
	checks: write
	pull-requests: write
	env:
	DOTNET_NOLOGO: true
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	HEAD_SHA: ${{ github.event.pull_request.head.sha }}

	steps:
	- name: Check out our repo
	uses: actions/checkout@v6.0.2

	# We build examples against .NET 6.0, but use
	# 8.0 for the tools themselves. (The closer we
	# are to the target language version we're standardising,
	# the better.)
	- name: Setup .NET 6.0 and 8.0
	uses: actions/setup-dotnet@v5
	with:
	dotnet-version: \|
	6.0.x
	8.0.x

	- name: Extract and validate tests
	run: \|
	cd tools
	./test-examples.sh

Provide feedback