ci: Fix publishing of documentation on push#657
Merged
llucax merged 2 commits intofrequenz-floss:v0.x.xfrom Sep 12, 2023
Merged
ci: Fix publishing of documentation on push#657llucax merged 2 commits intofrequenz-floss:v0.x.xfrom
llucax merged 2 commits intofrequenz-floss:v0.x.xfrom