Skip to content

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

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

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

Triggered via push September 4, 2025 13:34
Status Success
Total duration 1m 0s
Artifacts
code-generation
56s
code-generation
Fit to window
Zoom out
Zoom in