diff --git a/.github/workflows/deploy_docs.yaml b/.github/workflows/deploy_docs.yaml new file mode 100644 index 0000000..9b4e6e3 --- /dev/null +++ b/.github/workflows/deploy_docs.yaml @@ -0,0 +1,62 @@ +--- +name: "Build and deploy docs" + +on: # yamllint disable-line rule:truthy + push: + tags: ["*"] + # FIXME: do not build docs on each PR or push + pull_request: + branches: ["*"] + workflow_dispatch: + +permissions: + contents: read + id-token: write + pages: write + +concurrency: + cancel-in-progress: false + group: "pages" + +jobs: + build_docs: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + steps: + - name: "Checkout git repository" + uses: actions/checkout@v4 + - name: "Show date" + run: date --iso-8601=minutes + - name: "DEBUG ME docker run" + run: "docker run --rm -it docker.io/library/alpine:3.19.1 uname -a" + - name: "DEBUG ME docker pull" + run: "docker pull ghcr.io/maximiliankolb/docs:1.0.0" + - name: "Check tree" + run: tree -a + - name: "Workaround to use podman in Makefile" + run: sed -i "s/podman/docker/g/" Makefile + - name: "Workaround to use minimal container image" + run: sed -i "s/docs-minimal/docs/g/" Makefile + - name: "Build docs" + run: make html + - name: "Check tree again" + run: tree -a + +# # copied from +# deploy: +# runs-on: ubuntu-latest +# steps: +# - name: Checkout +# uses: actions/checkout@v4 +# - name: Setup Pages +# uses: actions/configure-pages@v4 +# - name: Upload artifact +# uses: actions/upload-pages-artifact@v3 +# with: +# path: "docs/output/" +# - name: Deploy to GitHub Pages +# id: deployment +# uses: actions/deploy-pages@v4 +...