mirror of
https://github.com/Mic92/nixos-wiki-infra.git
synced 2025-06-26 04:32:18 +02:00
update flakes before extension
This is because updating flakes might update the mediawiki in which case we would download different wiki extensions.
This commit is contained in:
parent
fab3dd200f
commit
f78e53dbb3
4
.github/workflows/update-wiki.yml
vendored
4
.github/workflows/update-wiki.yml
vendored
@ -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:
|
||||
|
Loading…
x
Reference in New Issue
Block a user