Skip to content

Rename index.md to index.md #20048

Rename index.md to index.md

Rename index.md to index.md #20048

Triggered via pull request July 13, 2026 12:22
Status Success
Total duration 8s
Artifacts
notify-when-maintainers-cannot-edit
3s
notify-when-maintainers-cannot-edit
Fit to window
Zoom out
Zoom in