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

Add Jenkinsfile for Jenkins CI to repository #1019

Merged
merged 15 commits into from
Dec 13, 2019

Conversation

tfr42
Copy link
Member

@tfr42 tfr42 commented Nov 23, 2019

This shall support a multi branch pipeline build on the deegree build server http://buildserver.deegree.org/

Plugins are installed and a job is configured to test: http://buildserver.deegree.org/view/misc/job/deegree%20PR/

@tfr42 tfr42 added the enhancement enhancement or improvement label Nov 23, 2019
@tfr42
Copy link
Member Author

tfr42 commented Dec 11, 2019

Relates to #773 - supporting integration tests with OGC TEAM engine

@copierrj copierrj merged commit c86c9eb into deegree:master Dec 13, 2019
@tfr42 tfr42 added this to the 3.4.12 milestone Jan 24, 2020
@tfr42 tfr42 added the CI and build CI and build system label Mar 25, 2020
lgoltz added a commit to lat-lon/deegree3 that referenced this pull request Dec 22, 2022
lgoltz added a commit to lat-lon/deegree3 that referenced this pull request Dec 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI and build CI and build system enhancement enhancement or improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants