···830830831831- `CI` - Always set to `true` to indicate a CI environment
832832- `TANGLED_PIPELINE_ID` - The AT URI of the current pipeline
833833+- `TANGLED_PIPELINE_KIND` - One of `push`, `pull_request` or
834834+ `manual`
833835- `TANGLED_REPO_KNOT` - The repository's knot hostname
834836- `TANGLED_REPO_DID` - The DID of the repository owner
835837- `TANGLED_REPO_NAME` - The name of the repository