Does anyone have a Github Workflow for building an Isabelle session? Preferably building on Makarius' Docker image and with deployment of browser_info to Github pages.
@Kevin Kappelmann has one here but I would be interested in other solutions.
See https://github.com/input-output-hk/network-equivalences/blob/master/.github/workflows/quick-and-dirty-build.yaml for my solution. It checks code and produces PDF files. Since Makarius’s Docker image doesn’t contain LaTeX (or at least didn’t when I last checked), although I’d consider LaTeX sort of a dependency of Isabelle, and installing LaTeX into this image proved to be difficult, I don’t use this image but rather start with the TeX Live Docker image
Well, no deployment to GitHub pages, only to the GitHub Actions section, I’m afraid.
There seems to be an image with LaTeX now: https://hub.docker.com/layers/makarius/isabelle/Isabelle2022_X11_Latex/images/sha256-2081e7604ca76b844e560879ac8cfb0deb601590c47c64049424a8dc757dd555?context=explore
This is the solution that I ended up with. Note that there are probably concurrency problems when pushing to
gh-pages from to branches but this is probably not the usual use case anyways.
Last updated: Dec 07 2023 at 16:21 UTC