flowchart LR A["1. App code
(top level of the repo)"] --> D["Push to main"] B["2. Contract
(.acdl/contract.yaml)"] --> D C["3. CI definition
(.github/workflows/deploy.yml
— one 'uses:' line)"] --> D D --> E["Platform does the rest"]