Skip to content

devops updates#13

Merged
germasch merged 4 commits into
mainfrom
pr/devops
May 6, 2025
Merged

devops updates#13
germasch merged 4 commits into
mainfrom
pr/devops

devops: update github workflows

5b32a11
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs