From f78e53dbb36a77b86fc030d616c7cee4dc4a037a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Sat, 22 Mar 2025 09:11:54 +0100
Subject: [PATCH] update flakes before extension

This is because updating flakes might update the mediawiki in which case
we would download different wiki extensions.
---
 .github/workflows/update-wiki.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/update-wiki.yml b/.github/workflows/update-wiki.yml
index 97ef55b..04e3ca4 100644
--- a/.github/workflows/update-wiki.yml
+++ b/.github/workflows/update-wiki.yml
@@ -8,7 +8,7 @@ permissions:
   pull-requests: write
   contents: write
 jobs:
-  update-extensions:
+  update-wiki:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -17,10 +17,10 @@ jobs:
       - uses: cachix/install-nix-action@v31
         with:
           nix_path: nixpkgs=channel:nixos-unstable
+      - run: nix flake update
       - 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: