Adopt Einan's conventions for signs, dimension etc. Polish IBP notes. #32
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: Build and Deploy | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - master | |
| jobs: | |
| build-and-deploy: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| persist-credentials: false | |
| # NOTE: Python is necessary for the pre-rendering (minification) step | |
| - name: Install python | |
| uses: actions/setup-python@v2 | |
| with: | |
| python-version: '3.8' | |
| # NOTE: Here you can install dependencies such as matplotlib if you use | |
| # packages such as PyPlot. | |
| # - run: pip install matplotlib | |
| - name: Install Julia | |
| uses: julia-actions/setup-julia@v2 | |
| with: | |
| version: 'lts' # Latest stable Julia release. | |
| # NOTE | |
| # The steps below ensure that NodeJS and Franklin are loaded then it | |
| # installs highlight.js which is needed for the prerendering step | |
| # (code highlighting + katex prerendering). | |
| # Then the environment is activated and instantiated to install all | |
| # Julia packages which may be required to successfully build your site. | |
| # The last line should be `optimize()` though you may want to give it | |
| # specific arguments, see the documentation or ?optimize in the REPL. | |
| - run: julia -e ' | |
| using Pkg; Pkg.activate("."); Pkg.instantiate(); | |
| using NodeJS; run(`$(npm_cmd()) install highlight.js`); | |
| using Franklin; | |
| optimize()' | |
| - name: Build and Deploy | |
| uses: JamesIves/github-pages-deploy-action@releases/v3 | |
| with: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| BRANCH: gh-pages | |
| FOLDER: __site |