deploy
Deploy a specific commit to a target environment by dispatching a GitHub Actions workflow, but only after verifying the required signed receipt.
Instructions
Deploy a specific commit by running a deployment pipeline. Requires a receipt: the pipeline verifies it before anything is released.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sha | Yes | Exact commit to deploy — resolve it with resolve_ref first | |
| repo | Yes | Repository as owner/name | |
| branch | No | Branch the workflow is dispatched on (default "main"). The commit that gets BUILT is `sha`, not this. | |
| workflow | Yes | Workflow file to run, e.g. deploy.yml | |
| receipt_id | No | Injected by the gateway after the receipt is issued | |
| environment | Yes | Target environment, e.g. production |