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