Fix Bot PR Titles

Release prep 1.3.1: avoid DNS for disabled ADP bootstrap #917

Sign in to view logs

Triggered via pull request July 9, 2026 20:01

jszwedko

opened #2059

Status Skipped

Total duration 1s

Artifacts –

fix-bot-pr-title.yml

on: pull_request_target