Skip to content

Conversation

@JakubVanek
Copy link
Contributor

@JakubVanek JakubVanek marked this pull request as draft May 17, 2020 16:46
@JakubVanek JakubVanek marked this pull request as ready for review May 17, 2020 16:48
- previously, only JRI11 was publicly available as a .deb package
- this extends it to all binary builds on AdoptOpenJDK Jenkins
- this is a revert of 8f0650a
@jabrena jabrena self-assigned this May 24, 2020
@jabrena jabrena merged commit d833e28 into ev3dev-lang-java:master May 24, 2020
@JakubVanek JakubVanek deleted the feature/reenable-debpkg-on-jenkins branch May 24, 2020 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Build Debian package from Jenkins for OpenJDK for EV3

2 participants