.github: publish artifacts for pull_requests

Github action workflows do not pass secrets to forked repositories which means that we can't publish to linux-kernel-library.github.io. For now publish as an artifact. Signed-off-by: Octavian Purdila <tavi@cs.pub.ro>
linux-kernel-labs · Mar 3, 2020 · bd336b3 · bd336b3
1 parent eb99417
commit bd336b3
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -19,13 +19,20 @@ jobs:
         run: sudo pip install Sphinx==1.6.7 sphinx_rtd_theme hieroglyph==1.0
       - name: Build documentation
         run: cd tools/labs && make docs
+      - uses: actions/upload-artifact@v1
+        if: github.event_name == 'pull_request'
+        with:
+          name: docs
+          path: Documentation/output/teaching
       - name: Setup key to access linux-kernel-labs.github.io
+        if: github.event_name == 'push'
         run: |
           mkdir ~/.ssh
           echo -n "${{ secrets.GITHUB_IO_KEY }}" > ~/.ssh/id_rsa
           chmod 600 ~/.ssh/id_rsa
           ssh-keyscan -t rsa github.com
       - name: Publish linux-kernel-labs.gihub.io
+        if: github.event_name == 'push'
         run: |
           set -x
           env