diff options
| author | Roman Melnikov | 2023-12-12 11:48:45 +0100 |
|---|---|---|
| committer | Roman Melnikov | 2023-12-12 11:48:45 +0100 |
| commit | 99664561ec91db45679c76c8816f42d420d9b7d3 (patch) | |
| tree | e7d49f095a1929d72999899d27fe61a166f45962 /interface.json | |
| parent | 514fa3bc3d24fa85f338fa6a8247ca7e116ab9de (diff) | |
[Chore] Update "actions/checkout"
Problem: node16 is now deprecated and github-runner provided by nixpkgs
no longer supports this runtime. However, "actions/checkout@v3" uses
this runtime.
Solution: Update CI pipeline to use "actions/checkout@v4".
Diffstat (limited to 'interface.json')
0 files changed, 0 insertions, 0 deletions