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

Conversation

ConstantinNicolai
Copy link
Contributor

changed Jenkinsfile to use jenkins-libraries

added pipeline_config for lib definitions

removed javadoc publish stage and diabled trigger stages

Description

Please add a clear and concise description of what your PR solves.

Corresponding issue

Closes #

New or changed dependencies

Checklist

- [ ] My code follows the code-style rules, and I have checked on the static analyses and benchmark (if applicable) results

  • I have commented my code
    - [ ] I have written javadoc (required for public classes and methods)
    - [ ] I have added sufficient unit tests
    - [ ] I have made corresponding changes to the documentation
    - [ ] I have updated the CHANGELOG.md
    - [ ] I have adjusted the examples or created an issue in the corresponding repository
    - [ ] I have adjusted the benchmark or created an issue in the corresponding repository

Please check all finished tasks. If some tasks do not apply to your PR, please cross their text out (by using ~...~) and remove their checkboxes.

@ConstantinNicolai ConstantinNicolai added the CI Related to continuous integration (unit tests, build settings, etc.) label Oct 11, 2023
@joker234 joker234 self-requested a review October 11, 2023 12:08
@joker234 joker234 force-pushed the jenkins_testing_3 branch 2 times, most recently from fd590e5 to adb1b52 Compare October 31, 2023 15:43
joker234
joker234 previously approved these changes Oct 31, 2023
@joker234 joker234 merged commit 26dc30c into master Oct 31, 2023
2 checks passed
@joker234 joker234 deleted the jenkins_testing_3 branch October 31, 2023 16:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Related to continuous integration (unit tests, build settings, etc.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants