Skip to content

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

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

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

Triggered via push December 15, 2025 10:19
Status Success
Total duration 1m 22s
Artifacts
code-generation
1m 2s
code-generation
Fit to window
Zoom out
Zoom in