d-flex flex-column width-full">

Apply suggestion from @kim-em

c7ac5a1

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Zulip emoji merge update on: push

zulip-emoji-merged

Run pre-commit and in-place update PR on push on: push

main

Post PR summary comment on: pull_request_target

post-or-update-summary-comment

ci (fork)

continuous integration on: push 1

ci / Build

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job

main

lint and suggest on: pull_request

Lint and suggest

Zulip emoji merge update on: push

zulip-emoji-merged

Run pre-commit and in-place update PR on push on: push

main

continuous integration on: push 1

ci / Build

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job

continuous integration on: push 1

ci / Build

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job

Run pre-commit and in-place update PR on push on: push

main

Add "closed-pr" emoji in Zulip on: pull_request_target

Add closed-pr emoji in Zulip