Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Created multiple maven plugins #40

Merged
merged 4 commits into from
Oct 4, 2022
Merged

Created multiple maven plugins #40

merged 4 commits into from
Oct 4, 2022

Commits on Sep 29, 2022

  1. Created multiple maven plugins

    @mrizzi
    mrizzi committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    fbf7a12 View commit details
    Browse the repository at this point in the history

  2. Added profiles for themes

    @mrizzi
    mrizzi committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    26a891e View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2022

  1. Changed the rules artifact Id for each plugin

    @mrizzi
    mrizzi committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    6ce9376 View commit details
    Browse the repository at this point in the history

  2. Added user settings property to GH Job

    @mrizzi
    mrizzi committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    00c6199 View commit details
    Browse the repository at this point in the history