Merge branch 'master' into doc-fixes

Author: korenyoni

.github/workflows/docs.yaml

@@ -18,7 +18,10 @@ jobs:
         with:
           repository: ${{ github.event.pull_request.head.repo.full_name }}
           ref: ${{ github.event.pull_request.head.ref }}
-      - run: make docs
+      - run: |
+          export GOROOT=$HOME/go
+          export PATH=$PATH:$GOROOT/bin
+          make docs
       - name: Commit changes
         uses: EndBug/[email protected]
         with: