Skip to content

Merge branch 'devel' into master #235

Merge branch 'devel' into master

Merge branch 'devel' into master #235

Triggered via push October 29, 2024 13:42
Status Success
Total duration 1m 36s
Artifacts

codeql.yml

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