GitHub

Build a multi-platform image with Docker and fix the GitHub Workflow

Generating PDF using Pandoc in GitHub actions

Git submodule and sparse-checkout