diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-12-21 20:05:15 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-21 20:05:15 +0000 |
| commit | 3541f2cee4e94ceb8ea5c6f1514d5d4c9129383e (patch) | |
| tree | 47caae62f50e87d8b190436017abeda0908ca3da /ci | |
| parent | 0f823132bf23cc2bde343b0192565f23504f5c67 (diff) | |
| parent | e3808744abec9a52a979292745e38b34b4bec9d1 (diff) | |
Merge #672
672: CI: Update checkout from v2 to v3 r=korken89 a=AfoHT
Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions