fmt-11.0.2/.github/workflows/doc.yml

   1 name: doc
   2
   3 on: [push, pull_request]
   4
   5 permissions:
   6   contents: read
   7
   8 jobs:
   9   build:
  10     # Use Ubuntu 20.04 because doxygen 1.8.13 from Ubuntu 18.04 is broken.
  11     runs-on: ubuntu-20.04
  12
  13     steps:
  14     - uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 # v4.1.6
  15
  16     - name: Add Ubuntu mirrors
  17       run: |
  18         # Github Actions caching proxy is at times unreliable
  19         # see https://github.com/actions/runner-images/issues/7048
  20         printf 'http://azure.archive.ubuntu.com/ubuntu\tpriority:1\n' | sudo tee /etc/apt/mirrors.txt
  21         curl http://mirrors.ubuntu.com/mirrors.txt | sudo tee --append /etc/apt/mirrors.txt
  22         sudo sed -i 's~http://azure.archive.ubuntu.com/ubuntu/~mirror+file:/etc/apt/mirrors.txt~' /etc/apt/sources.list
  23
  24     - name: Create build environment
  25       run: |
  26         sudo apt update
  27         sudo apt install doxygen
  28         pip install mkdocs-material==9.5.25 mkdocstrings==0.25.1 mike==2.1.1
  29         cmake -E make_directory ${{runner.workspace}}/build
  30         # Workaround https://github.com/actions/checkout/issues/13:
  31         git config --global user.name "$(git --no-pager log --format=format:'%an' -n 1)"
  32         git config --global user.email "$(git --no-pager log --format=format:'%ae' -n 1)"
  33
  34     - name: Build
  35       working-directory: ${{runner.workspace}}/build
  36       run: $GITHUB_WORKSPACE/support/mkdocs deploy dev
  37
  38     - name: Deploy
  39       env:
  40         KEY: "${{secrets.KEY}}"
  41       if: env.KEY != '' && github.ref == 'refs/heads/master'
  42       working-directory: ${{runner.workspace}}/fmt/build/fmt.dev
  43       run: git push https://$KEY@github.com/fmtlib/fmt.dev.git