Skip to content

[Question] Add jenkins-ci ant build.xml and tool configurations to repository #973

Closed
@Vinai

Description

@Vinai

I assume the core team is using some kind of ci besides travis-ci.
If there there is an ant build.xml (plus the configurations for the tools), would it be possible to add them to the repository?
Otherwise, if there are none, would you be open to a PR?

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions