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

Develop #51

Merged
merged 7 commits into from
Dec 8, 2023
Merged

Develop #51

merged 7 commits into from
Dec 8, 2023

Commits on Dec 8, 2023

  1. update styleguide und oops python scripts

    @MattTJung
    MattTJung committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    4965057 View commit details
    Browse the repository at this point in the history

  2. updated oops py

    @MattTJung
    MattTJung committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    d068d75 View commit details
    Browse the repository at this point in the history

  3. update styleguide_checker.py

    @MattTJung
    MattTJung committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    8b1ad8b View commit details
    Browse the repository at this point in the history

  4. add gitignore

    @MattTJung
    MattTJung committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    784f286 View commit details
    Browse the repository at this point in the history

  5. update ontology to get 100% in style guide check

    @MattTJung
    MattTJung committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    85780be View commit details
    Browse the repository at this point in the history

  6. fix badge color definition in styleguide_checker

    @MattTJung
    MattTJung committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    26747e7 View commit details
    Browse the repository at this point in the history

  7. mino change to workflow

    @MattTJung
    MattTJung committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    0d9d323 View commit details
    Browse the repository at this point in the history