diff options
| author | Joel Challis <git@zvecr.com> | 2021-11-17 20:05:12 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-17 20:05:12 +0000 |
| commit | b06740c933c63a8f82e0a7112f9eeab9bd93687a (patch) | |
| tree | bdb89bed4a77e56d2ee6f3f035ff52d777ceb3a4 /platforms | |
| parent | 3d49069a46b42d2a0e4d8b7537ac4ccf41e6402d (diff) | |
Auto-create PRs for merged formatting issues (#15157)
* Auto-create PRs for merged formatting issues
* Update .github/workflows/format_push.yaml
Diffstat (limited to 'platforms')
0 files changed, 0 insertions, 0 deletions