Merge bot PR

Use the correct type for final constants #2828

Sign in to view logs

Triggered via pull request November 16, 2024 15:57

thg2k

opened #3638

thg2k:pr/const_final_type

Status Success

Total duration 27s

Artifacts –

merge-bot-pr.yml

on: pull_request