Detect differences (PR only)

chore: remove rogue index.md file #14964

Sign in to view logs

Triggered via pull request December 17, 2025 11:50

jskeet

opened #15334

jskeet:remove-rogue-file

Status Success

Total duration 2m 4s

Artifacts –

diff-pr.yml

on: pull_request