ci: run documentation generation on Julia v1.10

This was a temporary work-around until the PR corresponding to this
branch was merged, but it seems like a good idea to keep this pinned to
the highest supported tested Julia version.

.github/workflows/Documentation.yml

@@ -16,7 +16,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: julia-actions/setup-julia@v1
         with:
-          version: '1.7'
+          version: '1.10'
       - name: Install dependencies
         run: |
           julia --project=docs -e '