Skip to content

Rename devcontainer.json to xevcontainer.json #12065

Rename devcontainer.json to xevcontainer.json

Rename devcontainer.json to xevcontainer.json #12065

Triggered via pull request August 6, 2025 12:48
Status Skipped
Total duration 1s
Artifacts

close-bad-repo-sync-prs.yml

on: pull_request_target
Close if invalid repo-sync PR author
Close if invalid repo-sync PR author
Fit to window
Zoom out
Zoom in