Skip to content

Merge pull request #431 from MichaHoffmann/main #588

Merge pull request #431 from MichaHoffmann/main

Merge pull request #431 from MichaHoffmann/main #588

Triggered via push July 10, 2023 19:53
Status Success
Total duration 1m 15s
Artifacts

semgrep.yml

on: push
Fit to window
Zoom out
Zoom in