Skip to content

Give CI a GitHub App token so it can read the private instrument submodules - #40

Closed
mikelangmayr wants to merge 1 commit into
mainfrom
mike/ci-private-submodule-access
Closed

mikelangmayr wants to merge 1 commit into
mainfrom
mike/ci-private-submodule-access

Commits

Commits on Sep 28, 2026