Skip to content
Permalink
354ac015c1
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
View runs Go to file
 
 
Cannot retrieve contributors at this time
45 lines (45 sloc) 1.42 KB
name: Build and Deploy
on:
push:
branches:
- master
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
with:
persist-credentials: false
- name: Install python
uses: actions/setup-python@v2
with:
python-version: '3.8'
- run: pip install matplotlib
- name: Install deps for TikzCD
run: |
sudo add-apt-repository ppa:jonathonf/texlive-2019
sudo apt-get -qq update
sudo apt install -y pdf2svg texlive-latex-base texlive-binaries texlive-pictures texlive-latex-extra texlive-luatex
- name: Install Julia
uses: julia-actions/setup-julia@v1
with:
version: 1.5
- run: julia -e '
using Pkg; Pkg.add(Pkg.PackageSpec(name="Franklin", rev="master"));
using Franklin;
cd("docs");
Pkg.activate("."); Pkg.instantiate();
optimize(minify=false, prerender=false);
cd("../demos");
Pkg.activate("."); Pkg.instantiate();
optimize(prerender=false);
dst = "../docs/__site/demos";
mkpath(dst);
foreach(p -> cp("__site/$p", "$dst/$p"), readdir("__site"));'
- name: Build and Deploy
uses: JamesIves/github-pages-deploy-action@releases/v3
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: docs/__site