Skip to content

PR: Improve style of the Preferences dialog (UI) #31794

PR: Improve style of the Preferences dialog (UI)

PR: Improve style of the Preferences dialog (UI) #31794

Triggered via issue November 4, 2023 14:30
Status Skipped
Total duration 1s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

chatops-binder.yaml

on: issue_comment
trigger-chatops
0s
trigger-chatops
Fit to window
Zoom out
Zoom in