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

Give CI a GitHub App token so it can read the private instrument submodules#40
mikelangmayr wants to merge 1 commit into
mainfrom
mike/ci-private-submodule-access

Commits

  1. Commits on Sep 28, 2026