Skip to content

Merge devel branch into master #32

Merge devel branch into master

Merge devel branch into master #32

Triggered via pull request October 27, 2024 16:03
Status Success
Total duration 2m 25s
Artifacts

codeql.yml

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