A lightweight docker image for tectonic
The main place I wanted to use this was on GitHub actions. Here is a minimal example:
name: "Compile TeX"
on:
push:
branches: [main]
jobs:
test_image:
runs-on: ubuntu-latest
needs: docker_image
steps:
- uses: actions/checkout@v2
- uses: docker://ghcr.io/dfm/tectonic-image:main
with:
args: path/to/document.texIt's a little finicky to get caching to work, but you can do something like the following:
name: "Compile TeX"
on:
push:
branches: [main]
jobs:
test_image:
runs-on: ubuntu-latest
needs: docker_image
steps:
- uses: actions/checkout@v2
- uses: actions/cache@v2
with:
path: |
cache/Tectonic/*
!cache/Tectonic/formats
key: tectonic-cache-${{ github.sha }}
restore-keys: |
tectonic-cache-
- uses: docker://ghcr.io/dfm/tectonic-image:main
with:
args: path/to/document.tex
env:
XDG_CACHE_HOME: /github/workspace/cache