Skip to content

HTML API: Add a helper to split space-separated tokens. #87787

HTML API: Add a helper to split space-separated tokens.

HTML API: Add a helper to split space-separated tokens. #87787

Triggered via pull request October 12, 2026 06:49
@Sabbir345Sabbir345
synchronize #13917
Status Success
Total duration 10s
Artifacts –

props-bot.yml

on: pull_request_target
Generate a list of props
6s
Generate a list of props
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
Workflow execution policy warning (evaluate mode): .github/workflows/props-bot.yml#L1
On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target