jeltsch/Build Isabelle session
GitHub action that builds an Isabelle session in quick-and-dirty mode with PDF document generation and uploads the generated PDF document as a GitHub Actions artifact; intended to be run on `ubuntu-latest` in the `texlive/texlive:latest` container
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stalelast commit May 10, 2023
- License
- BSD
Pinned Snippet
uses: jeltsch/actions-isabelle-build@d8fe9ed87051bc06a616add84eac391d41f5b2ec # no releases — HEAD as of 2026-07-11tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| session-name | Name of the session | yes | — |
| chapter-name | Name of the chapter the session belongs to | yes | — |
| source-path | Path to the source directory of the session relative to `$GITHUB_WORKSPACE` | no | . |
| isabelle-version | Isabelle version to use for building | yes | — |
| afp-sessions | Space-separated list of needed Isabelle sessions from the Archive of Formal Proofs, each specified as `⟨session-name⟩:⟨version⟩` with `⟨version⟩` being either `⟨year⟩-⟨month⟩-⟨day⟩` or `current` | no | "" |
| github-sessions | Space-separated list of needed Isabelle sessions from other GitHub repositories, each specified as `⟨user-name⟩/⟨repository⟩:⟨path⟩` | no | "" |
Outputs
no outputs