Skip to content

Add skills validator for repo skills / agents#34960

Closed
JanKrivanek wants to merge 3 commits into
dotnet:mainfrom
JanKrivanek:dev/jankrivanek/add-skill-validator
Closed

Add skills validator for repo skills / agents#34960
JanKrivanek wants to merge 3 commits into
dotnet:mainfrom
JanKrivanek:dev/jankrivanek/add-skill-validator

Conversation

@JanKrivanek
Copy link
Copy Markdown
Member

@JanKrivanek JanKrivanek commented Apr 14, 2026

Description of Change

Adopting skills-validator

This is inspired and sourced from similar integrations:

One important difference is that in this case we run as well in the LLM judging mode

cc: @PureWeen - for awareness and for help with iterating on this :)

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 14, 2026

🚀 Dogfood this PR with:

⚠️ WARNING: Do not do this without first carefully reviewing the code of this PR to satisfy yourself it is safe.

curl -fsSL https://raw.githubusercontent.com/dotnet/maui/main/eng/scripts/get-maui-pr.sh | bash -s -- 34960

Or

  • Run remotely in PowerShell:
iex "& { $(irm https://raw.githubusercontent.com/dotnet/maui/main/eng/scripts/get-maui-pr.ps1) } 34960"

@dotnet-policy-service dotnet-policy-service Bot added the community ✨ Community Contribution label Apr 14, 2026
@dotnet-policy-service
Copy link
Copy Markdown
Contributor

Hey there @@JanKrivanek! Thank you so much for your PR! Someone from the team will get assigned to your PR shortly and we'll get it reviewed.

- Switch from pull_request to pull_request_target trigger so fork PRs
  have access to secrets (needed for LLM evaluation)
- Auto-run LLM evaluation for contributor PRs, static-only for external
- Support /evaluate-skills slash command for manual triggering
- Post comments directly (pull_request_target has write permissions)
- Remove separate skill-validation-comment.yml (no longer needed)
@JanKrivanek
Copy link
Copy Markdown
Member Author

Superseded by #34976

@github-actions github-actions Bot locked and limited conversation to collaborators May 16, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

community ✨ Community Contribution

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant