Skip to content

Merge master into devel #175

Merge master into devel

Merge master into devel #175

Triggered via pull request January 23, 2024 20:12
Status Success
Total duration 14m 47s
Artifacts

codeql.yml

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