Lazily remove exited tasks from run queue #2823
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Documentation | |
| on: [push, pull_request] | |
| jobs: | |
| documentation: | |
| name: Build and deploy | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository and submodules | |
| uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - name: "Install nasm" | |
| run: | | |
| sudo apt update | |
| sudo apt install nasm | |
| - name: Cache build artifacts | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/bin/ | |
| ~/.cargo/registry/index/ | |
| ~/.cargo/registry/cache/ | |
| ~/.cargo/git/db/ | |
| target/ | |
| key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }} | |
| restore-keys: | | |
| ${{ runner.os }}-cargo- | |
| ${{ runner.os }}- | |
| # Remove documentation directory cache before publishing. | |
| - name: Clean source documentation directory before publishing | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/theseus_main' | |
| run: cargo clean --doc | |
| - name: Install mdbook | |
| uses: peaceiris/actions-mdbook@v1 | |
| with: | |
| mdbook-version: '0.4.10' | |
| - name: Install mdbook-linkcheck | |
| run: | | |
| version="v0.7.4" | |
| file="mdbook-linkcheck" | |
| zip_file="mdbook-linkcheck.${version}.x86_64-unknown-linux-gnu.zip" | |
| curl -sSL https://github.com/Michael-F-Bryan/mdbook-linkcheck/releases/download/${version}/${zip_file} --output ${zip_file} | |
| unzip -d bin ${zip_file} ${file} | |
| chmod +x bin/${file} | |
| rm ${zip_file} | |
| echo "$(pwd)/bin" >> ${GITHUB_PATH} | |
| - name: Report versions | |
| run: | | |
| rustc --version --verbose | |
| mdbook --version | |
| mdbook-linkcheck --version | |
| - name: Build book | |
| run: make book | |
| - name: Run spell check | |
| uses: streetsidesoftware/cspell-action@v2 | |
| with: | |
| config: 'book/cspell.json' | |
| files: 'book/**' | |
| incremental_files_only: false | |
| # Enforce strict spell check except on push to main branch. | |
| strict: ${{ !(github.event_name == 'push' && github.ref == 'refs/heads/theseus_main') }} | |
| - name: Build source documentation | |
| run: make doc | |
| # Move build artifacts to publish directory on push to main branch. | |
| - name: Move build artifacts | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/theseus_main' | |
| run: | | |
| rm -rf ./github_pages/book | |
| rm -rf ./github_pages/doc | |
| mv ./build/book/html/ ./github_pages/book/ | |
| mv ./build/doc/ ./github_pages/doc/ | |
| # Deploy on push to main branch. | |
| - name: Deploy | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/theseus_main' | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| commit_message: ${{ github.event.head_commit.message }} | |
| publish_branch: github_pages | |
| publish_dir: ./github_pages |