diff options
Diffstat (limited to '.github/workflows/editorconfig.yml')
| -rw-r--r-- | .github/workflows/editorconfig.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index b5c3c7fd95cd..36180b9aa5d6 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -24,11 +24,11 @@ jobs: - name: print list of changed files run: | cat "$HOME/changed_files" - - uses: actions/checkout@v4 + - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1 with: # pull_request_target checks out the base branch by default ref: refs/pull/${{ github.event.pull_request.number }}/merge - - uses: cachix/install-nix-action@v23 + - uses: cachix/install-nix-action@6a9a9e84a173d90b3ffb42c5ddaf9ea033fad011 # v24 with: # nixpkgs commit is pinned so that it doesn't break # editorconfig-checker 2.4.0 |