This is the GitHub Pages source for mdklatt.github.io/idea-plugin-repo, a custom JetBrains IDEA plugin repository for:
Build content for local testing. Generated content is put in dist/
. The
config.toml file controls content generation.
$ make build
Site content is published by GitHub Actions using the Pages workflow.
Run the workflow manually when a plugin is updated, e.g. when a new version is released.
Code changes pushed to main
will automatically trigger the workflow.