Skip to content

Merge pull request #5 from jlowin/patch-marvin #12

Merge pull request #5 from jlowin/patch-marvin

Merge pull request #5 from jlowin/patch-marvin #12

Triggered via push April 7, 2024 18:12
Status Success
Total duration 20s
Artifacts
static_analysis
10s
static_analysis
Fit to window
Zoom out
Zoom in