Skip to content

merge master to devel (v0.2.19) #86

merge master to devel (v0.2.19)

merge master to devel (v0.2.19) #86

Triggered via pull request June 6, 2024 20:28
Status Success
Total duration 30s
Artifacts

pyright.yml

on: pull_request
Fit to window
Zoom out
Zoom in