fix #4: make sure plugins are not removed from all_plugins.json, unless unused
This commit is contained in:
parent
76c0cbc037
commit
465f62cc94
612 changed files with 6031 additions and 5477 deletions
3
.github/workflows/generate.yml
vendored
3
.github/workflows/generate.yml
vendored
|
|
@ -23,7 +23,8 @@ jobs:
|
|||
nix_path: nixpkgs=channel:nixos-24.11
|
||||
- name: Run generator
|
||||
run: |
|
||||
nix run '.#_nix-jebrains-plugins-generator' -- --output-path ./generated
|
||||
nix run '.#_nix-jebrains-plugins-generator' -- --output-path ./generated generate
|
||||
nix run '.#_nix-jebrains-plugins-generator' -- --output-path ./generated cleanup
|
||||
- name: Create Pull Request
|
||||
uses: peter-evans/create-pull-request@v7
|
||||
with:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue