Skip to content

Merge pull request #201 from TEOS-10/dependabot/github_actions/github… #120

Merge pull request #201 from TEOS-10/dependabot/github_actions/github…

Merge pull request #201 from TEOS-10/dependabot/github_actions/github… #120

Triggered via push August 6, 2025 13:13
Status Success
Total duration 1m 3s
Artifacts
code-generation
58s
code-generation
Fit to window
Zoom out
Zoom in