Skip to content

Fix #13402: Make sidebar width proportional to window size and persist across sessions #1993

Fix #13402: Make sidebar width proportional to window size and persist across sessions

Fix #13402: Make sidebar width proportional to window size and persist across sessions #1993

Triggered via pull request June 28, 2025 21:43
@SahilBijlaniSahilBijlani
synchronize #13405
Status Success
Total duration 19s
Artifacts 1

on-pr-opened-updated.yml

on: pull_request_target
Determine issue number
4s
Determine issue number
Conflicts with target branch
7s
Conflicts with target branch
upload-pr-number
5s
upload-pr-number
Mark issue as in progress
5s
Mark issue as in progress
Ensure that contributor is assigned (fails if not commented on issue)
8s
Ensure that contributor is assigned (fails if not commented on issue)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
pr_number
148 Bytes
sha256:323be220fcd321c5d8e43db3c81ee0ad0746249c9771a1f9a23b311b852256e7