diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-01 10:50:52 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-01 12:11:36 +0100 |
commit | 435bf4e030f420c887898cd63d225e1c87447e25 (patch) | |
tree | 308e6e3706b0d7f19482c5a0e522d7c1f0ab10a5 /thirdparty/misc | |
parent | e52213e2fa3d8f216a92152caf862be44b8035e2 (diff) |
CI: Add official codespell action with PR annotations
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions