Skip to content

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

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

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

Triggered via push June 12, 2025 11:20
Status Success
Total duration 59s
Artifacts
code-generation
54s
code-generation
Fit to window
Zoom out
Zoom in