Skip to content

trying something else #28

trying something else

trying something else #28

Workflow file for this run

name: 🌲📄 Forester and PDF
on:
workflow_dispatch:
push:
branches:
- main
paths-ignore:
- 'README.md'
jobs:
forester:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Set-up OCaml
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: "5.1"
- name: Install dependencies
run: sudo apt install libev-dev
- name: Install Forester
run: opam install forester
- name: Update environment
run: eval $(opam env)
- name: Build forest
run: opam exec -- forester build forest.toml
- name: Install TinyTeX
uses: r-lib/actions/setup-tinytex@v2
env:
TINYTEX_INSTALLER: TinyTeX
- name: Install additional LaTeX packages
run: |
tlmgr install ifthen
tlmgr install fontenc
tlmgr install microtype
tlmgr install mathtools
tlmgr install amscd
tlmgr install etoolbox
tlmgr install mathalfa
tlmgr install csquotes
tlmgr install fancyhdr
tlmgr install biblatex
tlmgr install titlesec
tlmgr install Baskervaldx
- name: Build PDF
run:
cd latex/main.tex
mv main.pdf ../output/fga.pdf
- name: Deploy to build branch
uses: JamesIves/github-pages-deploy-action@3.6.2
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: build
FOLDER: output