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.

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

General update of Jenkinsfile #518

Merged
merged 8 commits into from
Oct 31, 2023
Merged

General update of Jenkinsfile #518

merged 8 commits into from
Oct 31, 2023

Commits on Oct 31, 2023

  1. changed Jenkinsfile to use jenkins-libraries

    added pipeline_config for lib definitions
    
    removed javadoc publish stage and diabled trigger stages
    ConstantinNicolai authored and joker234 committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    11b90e4 View commit details
    Browse the repository at this point in the history
  2. format Jenkinsfile

    joker234 committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    267837f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cd80512 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a0c7dad View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    847e8dc View commit details
    Browse the repository at this point in the history
  6. tidy up Jenkinsfile

    joker234 committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    a4b1a63 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    997c683 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    d603c04 View commit details
    Browse the repository at this point in the history