Skip to content

Add Settings.extra_lib_dirs to allow loading files from multiple locations #1409

Add Settings.extra_lib_dirs to allow loading files from multiple locations

Add Settings.extra_lib_dirs to allow loading files from multiple locations #1409

Triggered via pull request November 10, 2025 17:57
Status Success
Total duration 2m 8s
Artifacts

test.yml

on: pull_request
Docker smoke test
18s
Docker smoke test
Matrix: test
Fit to window
Zoom out
Zoom in