mdklatt / idea-plugin-repo

Repository for personal JetBrains IDEA plugins.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

idea-plugin-repo

Pages Workflow

This is the GitHub Pages source for mdklatt.github.io/idea-plugin-repo, a custom JetBrains IDEA plugin repository for:

Development

Build content for local testing. Generated content is put in dist/. The config.toml file controls content generation.

$ make build

Deployment

Site content is published by GitHub Actions using the Pages workflow.

Plugin updates

Run the workflow manually when a plugin is updated, e.g. when a new version is released.

Code updates

Code changes pushed to main will automatically trigger the workflow.

About

Repository for personal JetBrains IDEA plugins.


Languages

Language:Python 84.9%Language:HTML 11.6%Language:Makefile 3.6%