Skip to content

Update workflow name to state what it does#749

Merged
thomasjpfan merged 1 commit intoamueller:mainfrom thomasjpfan:update_workflow_nameDec 9, 2023
+1-1

Commits

Commits on Dec 9, 2023