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

General update of Jenkinsfile #518

Merged
merged 8 commits into from
Oct 31, 2023
Merged

General update of Jenkinsfile #518

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
11b90e4
changed Jenkinsfile to use jenkins-libraries
ConstantinNicolai Oct 11, 2023
267837f
format Jenkinsfile
joker234 Oct 11, 2023
cd80512
fix bug in dependency time calculation
joker234 Oct 11, 2023
a0c7dad
add sonar project name to pom.xml properties
joker234 Oct 11, 2023
847e8dc
testing the configurable report compile
ConstantinNicolai Oct 17, 2023
a4b1a63
tidy up Jenkinsfile
joker234 Oct 31, 2023
997c683
enable oshdb examples trigger
joker234 Oct 31, 2023
d603c04
Jenkins: re-enable benchmark trigger
joker234 Oct 31, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading