diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-06-08 05:35:04 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-08 05:35:04 +0000 |
| commit | 9f8d54c1ee4790f96c19e409a3b3108bf3db4ceb (patch) | |
| tree | e29878d0bab1680c82560b24a00efa692a300d0d /rtic-sync/src | |
| parent | bd54afae41ff8bdec45fca5f2d0e98cd04600ab8 (diff) | |
| parent | 3ce4ef26fa4d0a1c1200d7134d50a4d3a1b6133d (diff) | |
Merge #765
765: CI: Cleanup r=korken89 a=AfoHT
Tidy up, main purpose to test the full CI
Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
Diffstat (limited to 'rtic-sync/src')
0 files changed, 0 insertions, 0 deletions