Skip to content

Rename .devcontainer/devcontainer.json to .devcontainer/GHR-STEAM/docs #15557

Rename .devcontainer/devcontainer.json to .devcontainer/GHR-STEAM/docs

Rename .devcontainer/devcontainer.json to .devcontainer/GHR-STEAM/docs #15557

Triggered via pull request July 9, 2026 13:27
@GHR-STEAMGHR-STEAM
opened #45090
Status Skipped
Total duration 1s
Artifacts

close-bad-repo-sync-prs.yml

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