https://pantsbuild.org/ logo
w

wide-energy-11069

05/08/2020, 9:51 PM
Hi @witty-crayon-22786, would you kindly take a look at https://github.com/pantsbuild/pants/pull/9707? If it looks good, would also appreciate a publish.
w

witty-crayon-22786

05/08/2020, 9:52 PM
🚢
w

wide-energy-11069

05/08/2020, 9:52 PM
thanks!
w

witty-crayon-22786

05/08/2020, 9:52 PM
let me know when it has landed.
w

wide-energy-11069

05/08/2020, 9:53 PM
going to merge now if it’s okay?
w

witty-crayon-22786

05/08/2020, 9:53 PM
yea, it’s green
w

wide-energy-11069

05/08/2020, 9:53 PM
i’ve tested against a local publish
merged
w

witty-crayon-22786

05/08/2020, 10:01 PM
thanks, will publish shortly
👍 1
…new laptop. please hold
Copy code
No changes for org.pantsbuild#junit-runner-annotations;0.0.23
No changes for org.pantsbuild#pants-runner;0.0.8
No changes for org.pantsbuild#args4j;0.0.22
No changes for org.pantsbuild#jar-tool;0.0.18
No changes for org.pantsbuild#ivy-dependency-update-checker;0.0.6
No changes for org.pantsbuild#junit-runner;1.0.30
(those are now published)
w

wide-energy-11069

05/08/2020, 11:16 PM
2 Views