Skip to content
Miri

Fix display of Box End after transpile in text drawer #9566

Sign in to view logs

Fix display of Box End after transpile in text drawer

Fix display of Box End after transpile in text drawer #9566

Triggered via pull request May 2, 2025 16:31
@jakelishmanjakelishman
synchronize #14278
enavarro51:fix_box_end_display
Status Success
Total duration 6m 41s
Artifacts –

miri.yml

on: pull_request
Miri
6m 28s
Miri
Fit to window
Zoom out
Zoom in