Skip to content

Merge pull request #53 from mauroservienti/dependabot/github_actions/… #73

Merge pull request #53 from mauroservienti/dependabot/github_actions/…

Merge pull request #53 from mauroservienti/dependabot/github_actions/… #73

Triggered via push September 23, 2023 16:45
Status Success
Total duration 15s
Artifacts
Process documentation
7s
Process documentation
Fit to window
Zoom out
Zoom in