Skip to content

ci: reuse pr title & release actions from ufc/actions#22

Merged
jpnurmi merged 1 commit intoubuntu:mainfrom jpnurmi:actionsJul 4, 2023
+12-32

Commits

Commits on Jul 4, 2023