diff options
| author | Amanjeev Sethi <aj@amanjeev.com> | 2023-01-16 11:21:36 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-16 11:21:36 -0500 |
| commit | 6322b2d9eb3bbc59408606e72dae270511eccec1 (patch) | |
| tree | 04703950533166f0a0c05929684757d66df26abf /bindgen/codegen/mod.rs | |
| parent | ed2d06eae31e94022961ef4ed1d8c784b3bc00d4 (diff) | |
Add trigger for push to `main` branch for sync'ing with `master` (#2387)
* gh action for merging main to master on pr merge
* remove pull_request as trigger. only use push, that is after merging the pull_request
Diffstat (limited to 'bindgen/codegen/mod.rs')
0 files changed, 0 insertions, 0 deletions