From bb207235e0ab1074e26c2c0c65011ea3fe841cbc Mon Sep 17 00:00:00 2001
From: Huy Do <huydhn@gmail.com>
Date: Thu, 18 Jan 2024 10:28:35 -0800
Subject: [PATCH] Fix docs build workflow permission

---
 .github/workflows/docs.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 87776f6f4..356ad2d51 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -8,6 +8,9 @@ on:
 jobs:
   build_docs_job:
     runs-on: ${{ matrix.os }}
+    permissions:
+      # Grant write permission here so that the doc can be pushed to gh-pages branch
+      contents: write
     strategy:
       matrix:
         include: