-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Picked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/jenkins/tmp
printed in partests
#1712
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
Comments
It has also affected #1700. All PRs that where updated this afternoon. |
We have a disabled "filters" file for this, no clue how it's supposed to work: https://github.com/lampepfl/dotty/blob/master/tests/untried/filters#L6 |
In our case |
I still can't reproduce it locally. |
Testing #1714 on CI to see if reverting the PRs merged today has some different results. |
It also cause |
It can be reproduced as follows:
A related post at SO here. I guess the settings on Jenkins have changed somehow. Edited: update cmd to bash syntax |
I have a fix available in #1715 |
It looks like when executing
partest
all tests fail because ofPicked up _JAVA_OPTIONS: -Djava.io.tmpdir=/home/jenkins/tmp
being printed at the start of each one. I've seen it in #1711 and #1685.The text was updated successfully, but these errors were encountered: