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 /.github | |
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 '.github')
-rw-r--r-- | .github/workflows/check.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 68124a5..567f961 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -5,7 +5,7 @@ jobs: check: runs-on: self-hosted steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: check flake run: nix flake check -L |