From 648df73b11e10344442b4afa1ec5af24aa08be39 Mon Sep 17 00:00:00 2001 From: Ahmad Rezaii Date: Fri, 15 Nov 2024 10:01:49 -0700 Subject: [PATCH 1/2] add publish docs job to CI Signed-off-by: Ahmad Rezaii --- .github/workflows/CI.yml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 2928ee699c32..7eeda87dd090 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -189,3 +189,21 @@ jobs: break fi done + + publish-docs: + runs-on: ubuntu-latest + needs: make_doc + steps: + - name: download docs + uses: actions/download-artifact@v4 + with: + name: documentation + + - name: push docs + run: | + echo "Publish docs step demo" + ls -l + cat index.html + # Stuff to push docs to a web server + # maybe using rsync + # rsync -avz documentation/doc/html/ user@server:/path/to/docs From 3e4494780b5cd6f91e3546874a91cdccc3ee6980 Mon Sep 17 00:00:00 2001 From: Ahmad Rezaii Date: Fri, 15 Nov 2024 11:16:28 -0700 Subject: [PATCH 2/2] selectively run publish job on push to main only Signed-off-by: Ahmad Rezaii --- .github/workflows/CI.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 7eeda87dd090..3932515513de 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -191,6 +191,7 @@ jobs: done publish-docs: + if: github.event_name == 'push' runs-on: ubuntu-latest needs: make_doc steps: