Record
codespace-export-details
No description available.
record codespace-export-details {
branch: option<string>,
completed-at: option<string>,
export-url: option<string>,
html-url: option<string>,
id: option<string>,
sha: option<string>,
state: option<string>,
}Fields
| Name | Type | Description |
|---|---|---|
| branch | option<string> | |
| completed-at | option<string> | |
| export-url | option<string> | |
| html-url | option<string> | |
| id | option<string> | |
| sha | option<string> | |
| state | option<string> |