Skip to content

Rename map:: get_global->get_abs, bub_from_abs->get_bub, omt_from_abs->get_omt #82326

Rename map:: get_global->get_abs, bub_from_abs->get_bub, omt_from_abs->get_omt

Rename map:: get_global->get_abs, bub_from_abs->get_bub, omt_from_abs->get_omt #82326

Triggered via pull request January 15, 2025 08:22
Status Skipped
Total duration 3s
Artifacts

linter.yml

on: pull_request
style-code
0s
style-code
Fit to window
Zoom out
Zoom in