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