Dev updates

Follow-up of https://github.com/FreshRSS/Extensions/pull/178
This commit is contained in:
Alexandre Alapetite 2023-10-08 14:05:31 +02:00
parent 2d9965219d
commit 66114579f2
No known key found for this signature in database
GPG key ID: A24378C38E812B23
6 changed files with 266 additions and 200 deletions

View file

@ -13,7 +13,7 @@ jobs:
steps:
- name: Checkout source code
uses: actions/checkout@v2
uses: actions/checkout@v4
- name: Build JSON file
run: php ./generate.php