Skip to content

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

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 #10417

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

check-branch-name.yml

on: pull_request_target
check_branch_name
0s
check_branch_name
Fit to window
Zoom out
Zoom in