46 lines
1.2 KiB
YAML
46 lines
1.2 KiB
YAML
name: Gerby
|
|
on:
|
|
workflow_dispatch:
|
|
push:
|
|
jobs:
|
|
plastex:
|
|
runs-on: ubuntu-latest
|
|
strategy:
|
|
matrix:
|
|
python-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
|
|
|
|
steps:
|
|
# for now, because callable has changed
|
|
- name: Setup Python ${{ matrix.python-version }}
|
|
uses: actions/setup-python@v4
|
|
with:
|
|
python-version: ${{ matrix.python-version }}
|
|
- name: Install TeXLive
|
|
uses: teatimeguest/setup-texlive-action@v2
|
|
with:
|
|
packages: scheme-basic
|
|
- name: Install dvipng and Jinja2
|
|
run: |
|
|
sudo apt-get update
|
|
sudo apt install dvipng
|
|
pip3 install MarkupSafe==1.1.1
|
|
pip3 install Jinja2==2.11.2
|
|
- name: Checkout Hello world
|
|
uses: actions/checkout@v4
|
|
- name: Checkout plasTeX
|
|
uses: actions/checkout@v4
|
|
with:
|
|
repository: gerby-project/plastex
|
|
ref: gerby
|
|
path: plastex
|
|
- name: Install plasTeX
|
|
run: |
|
|
cd plastex
|
|
pip3 install .
|
|
cd ..
|
|
- name: Run tagger and plasTeX
|
|
run: |
|
|
python3 tagger.py >> tags
|
|
plastex --renderer=Gerby document.tex
|
|
ls document
|