Skip to content

Merge pull request #850 from wultra/issues/849-remove-obsolete-property #417

Merge pull request #850 from wultra/issues/849-remove-obsolete-property

Merge pull request #850 from wultra/issues/849-remove-obsolete-property #417

Triggered via push June 12, 2024 09:01
Status Success
Total duration 4m 14s
Artifacts
Matrix: codeql-analysis / Analyze
Fit to window
Zoom out
Zoom in