Undo custom padding-top. #14981

Sign in to view logs

Triggered via pull request June 12, 2024 21:17

jhamman

synchronize #9107

dcherian:fix-navbar-padding

Status Success

Total duration 14s

Artifacts –

upstream-dev-ci.yaml

on: pull_request

detect upstream-dev ci trigger

Matrix: mypy-upstream-dev

Matrix: upstream-dev