Record
plugin-run
No description available.
record plugin-run {
package-op: option<string>,
reporting-event: option<string>,
state: option<string>,
summary: option<string>,
text: option<string>,
title: option<string>,
version: option<string>,
deploy-id: option<string>,
}Fields
| Name | Type | Description |
|---|---|---|
| package-op | option<string> | |
| reporting-event | option<string> | |
| state | option<string> | |
| summary | option<string> | |
| text | option<string> | |
| title | option<string> | |
| version | option<string> | |
| deploy-id | option<string> |