Lukas Stevens (Mar 02 2023 at 16:21): Lukas Stevens (Mar 02 2023 at 16:21):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.
Lukas Stevens (Mar 02 2023 at 16:22):@Kevin Kappelmann has one here but I would be interested in other solutions.
Wolfgang Jeltsch (Mar 02 2023 at 17:56):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
Wolfgang Jeltsch (Mar 02 2023 at 17:57):Well, no deployment to GitHub pages, only to the GitHub Actions section, I’m afraid.
Lukas Stevens (Mar 02 2023 at 18:12):There seems to be an image with LaTeX now: https://hub.docker.com/layers/makarius/isabelle/Isabelle2022_X11_Latex/images/sha256-2081e7604ca76b844e560879ac8cfb0deb601590c47c64049424a8dc757dd555?context=explore
Lukas Stevens (Mar 07 2023 at 10:42):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 21 2024 at 12:33 UTC