mirror of
https://github.com/fmtlib/fmt.git
synced 2024-11-20 05:15:05 +00:00
c90bc91862
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.1.6 to 4.2.0.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](a5ac7e51b4...d632683dd7)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
44 lines
1.6 KiB
YAML
44 lines
1.6 KiB
YAML
name: doc
|
|
|
|
on: [push, pull_request]
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
build:
|
|
# Use Ubuntu 20.04 because doxygen 1.8.13 from Ubuntu 18.04 is broken.
|
|
runs-on: ubuntu-20.04
|
|
|
|
steps:
|
|
- uses: actions/checkout@d632683dd7b4114ad314bca15554477dd762a938 # v4.2.0
|
|
|
|
- name: Add Ubuntu mirrors
|
|
run: |
|
|
# Github Actions caching proxy is at times unreliable
|
|
# see https://github.com/actions/runner-images/issues/7048
|
|
printf 'http://azure.archive.ubuntu.com/ubuntu\tpriority:1\n' | sudo tee /etc/apt/mirrors.txt
|
|
curl http://mirrors.ubuntu.com/mirrors.txt | sudo tee --append /etc/apt/mirrors.txt
|
|
sudo sed -i 's~http://azure.archive.ubuntu.com/ubuntu/~mirror+file:/etc/apt/mirrors.txt~' /etc/apt/sources.list
|
|
|
|
- name: Create build environment
|
|
run: |
|
|
sudo apt update
|
|
sudo apt install doxygen
|
|
pip install mkdocs-material==9.5.25 mkdocstrings==0.25.1 mike==2.1.1
|
|
cmake -E make_directory ${{runner.workspace}}/build
|
|
# Workaround https://github.com/actions/checkout/issues/13:
|
|
git config --global user.name "$(git --no-pager log --format=format:'%an' -n 1)"
|
|
git config --global user.email "$(git --no-pager log --format=format:'%ae' -n 1)"
|
|
|
|
- name: Build
|
|
working-directory: ${{runner.workspace}}/build
|
|
run: $GITHUB_WORKSPACE/support/mkdocs deploy dev
|
|
|
|
- name: Deploy
|
|
env:
|
|
KEY: "${{secrets.KEY}}"
|
|
if: env.KEY != '' && github.ref == 'refs/heads/master'
|
|
working-directory: ${{runner.workspace}}/fmt/build/fmt.dev
|
|
run: git push https://$KEY@github.com/fmtlib/fmt.dev.git
|