Remove cirris builds, codeql; redo mkdocs builds (#1585)

.github/workflows/mkdocs.yml

@@ -29,7 +29,7 @@ jobs:
       - name: Install dependencies
         working-directory: ./mkdocs
         run: |
-          pip install --no-cache-dir mkdocs mkdocs-material pymdown-extensions mike
+          ./build-venv
 
       - name: Deploy docs
         working-directory: ./mkdocs
@@ -37,13 +37,4 @@ jobs:
           REF_TYPE: ${{ github.ref_type }}
           REF_NAME: ${{ github.ref_name }}
         run: |
-          if [ "$REF_TYPE" = "tag" ]; then
-            mike deploy "$REF_NAME" "latest" --allow-empty --ignore-remote-status --update-aliases
-            mike set-default "latest"
-            #git checkout gh-pages
-            #git push -f origin gh-pages
-          elif [ "$REF_TYPE" = "branch" ] && [ "$REF_NAME" = "master" ]; then
-            mike deploy "master" --ignore-remote-status --allow-empty
-            #git checkout gh-pages
-            #git push -f origin gh-pages
-          fi
+          ./generate-and-push-docs