Skip to content

Merge pull request #14 from digiservnet/main #86

Merge pull request #14 from digiservnet/main

Merge pull request #14 from digiservnet/main #86

Triggered via push July 29, 2023 23:43
Status Success
Total duration 25s
Artifacts
Static Analysis
16s
Static Analysis
Fit to window
Zoom out
Zoom in