add user documentation for Isabelle Translation extension #206
This workflow is awaiting approval from a maintainer in #41
Triggered via pull request
February 12, 2025 18:02
BookWood7th
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #41
mkdocs.yml
on: pull_request
build
Spellcheck
deploy