diff options
| author | David Lechner <david@pybricks.com> | 2022-12-18 20:17:30 -0600 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-12-19 14:42:07 +1100 |
| commit | 3b285326e3ae7d986489b974420f0d438769de40 (patch) | |
| tree | ec9c8c235b79c943fed2d2b0985542fe1bd3d17b /docs/esp32/tutorial/intro.rst | |
| parent | 1290329415b2a61af2f5b42e1e9bc922d7915d48 (diff) | |
github/workflows: Update existing comments for code_size_comment.
This modifies the automated code size comment to edit an existing comment
if one already exists instead of always creating a new comment. This
reduces noise on pull requests that are repeatedly updated.
Signed-off-by: David Lechner <david@pybricks.com>
Diffstat (limited to 'docs/esp32/tutorial/intro.rst')
0 files changed, 0 insertions, 0 deletions