Build and publish docs to GitHub Pages

.github/workflows/docs.yml

@@ -0,0 +1,30 @@
+name: docs
+
+on:
+  push:
+    branches: ["main"]
+
+jobs:
+  build-and-deploy:
+    name: "Build and deploy documentation"
+    runs-on: ubuntu-latest
+    steps:
+      - uses: "actions/checkout@v3"
+      - name: Set up Python 3.11
+        uses: "actions/setup-python@v4"
+        with:
+            python-version: 3.11
+            cache: 'pip'
+      - run: pip install -r docs/requirements.txt
+      - name: Build documentation
+        run: cd docs && make html
+      - uses: cpina/github-action-push-to-another-repository@main
+        env:
+          SSH_DEPLOY_KEY: ${{ secrets.SSH_DEPLOY_KEY }}
+        with:
+          source-directory: 'docs/_build/html'
+          destination-github-username: 'jaxopt'
+          destination-repository-name: 'jaxopt.github.io'
+          user-email: [email protected]
+          target-branch: main
+          target-directory: dev

.github/workflows/tests.yml

@@ -21,6 +21,7 @@ jobs:
       - uses: "actions/setup-python@v4"
         with:
             python-version: "${{ matrix.python-version }}"
+            cache: 'pip'
       - name: Install dependencies
         run: |
           set -xe
@@ -59,6 +60,7 @@ jobs:
         uses: "actions/setup-python@v4"
         with:
             python-version: 3.11
+            cache: 'pip'
       - name: Install dependencies
         run: |
           set -xe