Record
repo-info
No description available.
record repo-info {
allowed-branches: option<list<string>>,
cmd: option<string>,
deploy-key-id: option<string>,
dir: option<string>,
env: option<repo-info-env>,
functions-dir: option<string>,
id: option<s32>,
installation-id: option<s32>,
private-logs: option<bool>,
provider: option<string>,
public-repo: option<bool>,
repo-branch: option<string>,
repo-path: option<string>,
repo-url: option<string>,
stop-builds: option<bool>,
}Fields
| Name | Type | Description |
|---|---|---|
| allowed-branches | option<list<string>> | |
| cmd | option<string> | |
| deploy-key-id | option<string> | |
| dir | option<string> | |
| env | option<repo-info-env> | |
| functions-dir | option<string> | |
| id | option<s32> | |
| installation-id | option<s32> | |
| private-logs | option<bool> | |
| provider | option<string> | |
| public-repo | option<bool> | |
| repo-branch | option<string> | |
| repo-path | option<string> | |
| repo-url | option<string> | |
| stop-builds | option<bool> |