diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-02-01 17:40:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-01 17:40:59 +0000 |
| commit | a6e8670ce63d0834de3fdcbdec9d0d8b215461c1 (patch) | |
| tree | 16f99cb87759f5089c897f0c92c866ae92da0c58 | |
| parent | 463302aa157f43e320fa28fdbd6b3d127dd5cc98 (diff) | |
| parent | 6a0864e1bcce55fa66da27d63e3c62bdc0499744 (diff) | |
Merge #12
12: Bump DeterminateSystems/update-flake-lock from 15 to 16 r=matthiasbeyer a=dependabot[bot]
Bumps [DeterminateSystems/update-flake-lock](https://github.com/DeterminateSystems/update-flake-lock) from 15 to 16.
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
| -rw-r--r-- | .github/workflows/flake-update.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/flake-update.yml b/.github/workflows/flake-update.yml index b14dde7..5dae2fb 100644 --- a/.github/workflows/flake-update.yml +++ b/.github/workflows/flake-update.yml @@ -19,7 +19,7 @@ jobs: extra_nix_config: | access-tokens = github.com=${{ secrets.GITHUB_TOKEN }} - name: Update flake.lock - uses: DeterminateSystems/update-flake-lock@v15 + uses: DeterminateSystems/update-flake-lock@v16 with: pr-title: "Update flake.lock" # Title of PR to be created # pr-labels: | # Labels to be set on the PR |