chore: [.devcontainer/devcontainer.json] Bump GitHub CLI version (#1683) · jenkins-docs/quickstart-tutorials@731d555

Triggered via push October 15, 2025 17:42

gounthar

main

Status Success

Total duration 1m 26s

Artifacts –

release-drafter.yml

on: push

4 warnings

"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)