extern/nixos-wiki-infra
1
0
Fork 1
mirror of https://github.com/Mic92/nixos-wiki-infra.git synced 2025-06-26 12:41:34 +02:00
Code Issues Packages Projects Releases Wiki Activity

also update flake in update-extensions action

Browse Source
This commit is contained in:
Jörg Thalheim 2025-03-22 08:48:45 +01:00
parent 2391458319
commit 2d7287fade
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/update-extensions.yml → .github/workflows/update-wiki.yml vendored
View File

@ -1,4 +1,4 @@
name: "Update mediawiki extensions" name: "Update wiki"
on: on:
repository_dispatch: repository_dispatch:
workflow_dispatch: workflow_dispatch:
@ -20,8 +20,10 @@ jobs:
- run: ./modules/nixos-wiki/update-extensions.py ./modules/nixos-wiki/extensions.json - run: ./modules/nixos-wiki/update-extensions.py ./modules/nixos-wiki/extensions.json
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- run:
nix flake update
- name: Create Pull Request - name: Create Pull Request
uses: peter-evans/create-pull-request@v7 uses: peter-evans/create-pull-request@v7
with: with:
title: Update mediawiki extensions title: Update wiki extensions
labels: merge-queue labels: merge-queue