1name: doc 2 3on: [push, pull_request] 4 5permissions: 6 contents: read 7 8jobs: 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@8ade135a41bc03ea155e62e844d188df1ea18608 # v4.1.0 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 python3-virtualenv 28 sudo npm install -g less clean-css 29 cmake -E make_directory ${{runner.workspace}}/build 30 31 - name: Build 32 working-directory: ${{runner.workspace}}/build 33 env: 34 KEY: ${{secrets.KEY}} 35 run: $GITHUB_WORKSPACE/support/build-docs.py 36