Skip to content

Respect "short" option in Symbol.get_name() #4318

Respect "short" option in Symbol.get_name()

Respect "short" option in Symbol.get_name() #4318

Triggered via pull request November 17, 2024 16:05
Status Success
Total duration 5m 54s
Artifacts

ubuntu.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in