ci: 更新 julia 版本 #54
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: Build and Deploy | |
| on: | |
| push: | |
| branches: | |
| - dev # only trigger deployment upon pushes to master branch | |
| pull_request: | |
| branches: | |
| - dev | |
| jobs: | |
| build-and-deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v2 | |
| with: | |
| persist-credentials: false | |
| - name: Install SSH Client | |
| continue-on-error: true | |
| uses: webfactory/[email protected] | |
| with: | |
| ssh-private-key: ${{ secrets.FRANKLIN_PRIV }} | |
| # Python is necessary for pre-rendering steps as well as to install | |
| # matplotlib which is necessary if you intend to use PyPlot. If you do | |
| # not, then you can remove the `run: pip install matplotlib` line. | |
| - name: Install python | |
| uses: actions/setup-python@v1 | |
| with: | |
| python-version: '3.x' | |
| - name: Install Julia | |
| uses: julia-actions/setup-julia@v1 | |
| with: | |
| version: '1.10' | |
| # This ensures that NodeJS and Franklin are loaded then it installs | |
| # highlight.js which is needed for the prerendering step. | |
| # Then the environment is activated and instantiated to install all | |
| # Julia packages which may be required to successfully build your site. | |
| # NOTE: the last line should be `optimize()`, you may want to give it | |
| # specific arguments, see the documentation or ?optimize in the REPL. | |
| - name: Build site | |
| run: julia -e ' | |
| using Pkg; Pkg.add(["NodeJS", "Franklin"]); | |
| using NodeJS; run(`$(npm_cmd()) install highlight.js`); | |
| using Franklin; optimize(); | |
| cp(joinpath("__site", "feed.xml"), joinpath("__site", "index.xml"))' | |
| - name: Deploy (preview) | |
| continue-on-error: true | |
| if: github.event_name == 'pull_request' | |
| uses: JamesIves/[email protected] | |
| with: | |
| SSH: true | |
| BRANCH: gh-preview | |
| FOLDER: __site | |
| - name: Deploy (main) | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/dev' | |
| uses: JamesIves/github-pages-deploy-action@releases/v3 | |
| with: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| BRANCH: master | |
| FOLDER: __site |