chore: archive workflows

.github/github_workflows/docs.yml

@@ -0,0 +1,49 @@
+name: Docs
+on:
+    push:
+        branches: [master]
+    workflow_dispatch:
+permissions:
+    contents: read
+    pages: write
+    id-token: write
+concurrency:
+    group: deploy
+    cancel-in-progress: false
+jobs:
+    build:
+        name: Rustdoc
+        runs-on: ubuntu-latest
+        steps:
+            - name: Checkout repo
+              uses: actions/checkout@v4
+            - name: Checkout repo submodules
+              run: git submodule update --init --recursive
+            - name: Init Rust
+              uses: dtolnay/rust-toolchain@stable
+            - name: Configure cache
+              uses: Swatinem/rust-cache@v2
+            - name: Configure pages
+              id: pages
+              uses: actions/configure-pages@v4
+            - name: Clean docs directory
+              run: cargo clean --doc
+            - name: Build documentation
+              run: cargo doc --no-deps --document-private-items  --workspace
+            - name: Create index.html
+              run: echo '<meta http-equiv="refresh" content="0;url=tetratto/index.html">' > target/doc/index.html
+            - name: Artifact
+              uses: actions/upload-pages-artifact@v3
+              with:
+                  path: target/doc
+    deploy:
+        name: Pages
+        environment:
+            name: github-pages
+            url: ${{ steps.deployment.outputs.page_url }}
+        runs-on: ubuntu-latest
+        needs: build
+        steps:
+            - name: Deploy to pages
+              id: deployment
+              uses: actions/deploy-pages@v4