Skip to content
Props Bot

Feat: Adds the editing capability to the search title. #38136

Sign in to view logs

Feat: Adds the editing capability to the search title.

Feat: Adds the editing capability to the search title. #38136

Triggered via pull request May 12, 2024 16:18
@t-hamanot-hamano
labeled #61508
Status Cancelled
Total duration 2s
Artifacts –

props-bot.yml

on: pull_request_target
Generate a list of props
Generate a list of props
Fit to window
Zoom out
Zoom in

Annotations

1 error
Props Bot
Canceling since a higher priority waiting request for 'Props Bot-feat/issue-60701' exists