Rewrite shell code into JS (#2) #7
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: mdBook | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - rzadp/rfc-book | |
| # schedule: | |
| # - cron: "0 0 * * *" # Once a day | |
| jobs: | |
| mdbook: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| # For writing to gh-pages branch. | |
| contents: write | |
| steps: | |
| - name: Checkout this repo | |
| uses: actions/checkout@v3 | |
| - name: Download all proposed RFCs (open PRs) | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| const script = require('.github/scripts/download-rfc-prs.js') | |
| await script({github, context}) | |
| # Create the proposed RFC markdown files from the patches gathered in the step above. | |
| - run: | | |
| # We execute the patches, which results in markdown files created in patches/text/*.md | |
| for f in ./patches/*.patch; | |
| do | |
| [ -e "$f" ] || break | |
| git apply $f | |
| done; | |
| # Gather source files - approved (merged) files, and files created in the previous steps. | |
| - name: Gather markdown files into mdbook source directory | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| const script = require('.github/scripts/gather-markdown-files.js') | |
| await script({github, context}) | |
| - name: Build the mdbook SUMMARY.md | |
| uses: actions/github-script@v7 | |
| with: | |
| script: | | |
| const script = require('.github/scripts/build-mdbook-summary.js') | |
| await script({github, context}) | |
| - name: Setup mdBook binary | |
| uses: peaceiris/actions-mdbook@adeb05db28a0c0004681db83893d56c0388ea9ea # v1.2.0 | |
| with: | |
| mdbook-version: '0.4.36' | |
| - name: Install dependencies | |
| run: | | |
| cargo install [email protected] | |
| - name: Generate the mdbook | |
| run: | | |
| cd mdbook | |
| rm -rf ./book/ | |
| mdbook build --dest-dir ./book/ | |
| - name: Deploy to github pages | |
| uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3 | |
| with: | |
| publish_dir: ./mdbook/book | |
| github_token: ${{ secrets.GITHUB_TOKEN }} |