ci: fix client-only build step; add permissions for PR title check#25

Merged

lars-berger merged 1 commit intomainfrom ci/fix-build-step-and-permissions

Feb 13, 2024

+4-1

Commits on Feb 13, 2024

ci: fix client-only build step; add permissions for PR title check
lars-berger
committed