From 2d7287fade355729afc5e7c2bdeea6c4327661f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Sat, 22 Mar 2025 08:48:45 +0100 Subject: [PATCH] also update flake in update-extensions action --- .../workflows/{update-extensions.yml => update-wiki.yml} | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) rename .github/workflows/{update-extensions.yml => update-wiki.yml} (87%) diff --git a/.github/workflows/update-extensions.yml b/.github/workflows/update-wiki.yml similarity index 87% rename from .github/workflows/update-extensions.yml rename to .github/workflows/update-wiki.yml index 90341ac..e7a80c9 100644 --- a/.github/workflows/update-extensions.yml +++ b/.github/workflows/update-wiki.yml @@ -1,4 +1,4 @@ -name: "Update mediawiki extensions" +name: "Update wiki" on: repository_dispatch: workflow_dispatch: @@ -20,8 +20,10 @@ jobs: - run: ./modules/nixos-wiki/update-extensions.py ./modules/nixos-wiki/extensions.json env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + - run: + nix flake update - name: Create Pull Request uses: peter-evans/create-pull-request@v7 with: - title: Update mediawiki extensions + title: Update wiki extensions labels: merge-queue