chore: add some footnotes to difan #3
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
| # Auto-generated by Cimas: Do not edit it manually! | |
| # See https://github.com/metanorma/cimas | |
| name: docker | |
| on: | |
| push: | |
| branches: [ main ] | |
| pull_request: | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| packages: read | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.head_ref || github.ref_name }} | |
| cancel-in-progress: true | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: metanorma/metanorma:latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| with: | |
| submodules: true | |
| - name: Setup Flavor | |
| uses: actions-mn/setup-flavors@v1 | |
| with: | |
| extra-flavors: jis | |
| github-pakages-token: ${{ secrets.METANORMA_CI_PAT_TOKEN }} | |
| use-bundler: true | |
| - name: Setup Fonts | |
| run: | | |
| fontist update | |
| fontist repo setup metanorma https://metanorma-ci:${{ secrets.METANORMA_CI_PAT_TOKEN }}@github.com/metanorma/fontist-formulas-private | |
| fontist repo update metanorma | |
| fontist install "Noto Serif JP" | |
| fontist install "Noto Serif JP ExtraLight" | |
| fontist install "Noto Serif JP Medium" | |
| fontist install "Noto Serif JP Black" | |
| fontist install "Noto Sans JP Thin" | |
| fontist install "Noto Sans JP Medium" | |
| - name: Metanorma generate site | |
| uses: actions-mn/build-and-publish@v1 | |
| with: | |
| agree-to-terms: true | |
| destination: artifact |