deploy plugin?

7 views
Skip to first unread message

Dimitrios Michail

unread,
Jun 17, 2020, 1:00:20 PM6/17/20
to jgrapht-dev
One of the latest PR builds 


failed due to the deploy plugin. 

Is this normal? Any ideas what is happening?

Joris Kinable

unread,
Jun 17, 2020, 1:08:13 PM6/17/20
to Dimitrios Michail, jgrapht-dev
That's odd, haven't seen this error before. Let's try to restart the build to see whether the error is on our side, or on the nexus side.

--
You received this message because you are subscribed to the Google Groups "jgrapht-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jgrapht-dev...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jgrapht-dev/d9770f05-2fc5-46c6-9d80-f8e7f1964ec0o%40googlegroups.com.

John Sichi

unread,
Jun 17, 2020, 2:26:10 PM6/17/20
to jgrapht-dev
Here's what's going on.  This error has always been happening for PR's (because they aren't authorized to push a snapshot to sonatype), but it was getting ignored, and that portion of the travis log gets collapsed by default so you don't see it unless you expand it.

Then, while working on https://github.com/jgrapht/jgrapht/issues/948 I added a "set -e" to make the build fail fast when there are errors regenerating the documention (otherwise we end up pushing out a broken site).  So that is now coughing up the hidden deploy errors too.  For now I'll add a "set +e" in the after_success before the deploy; there's probably a proper set of checks to use for correctly skipping the deploy attempt instead.

On Wednesday, June 17, 2020 at 10:08:13 AM UTC-7, Joris Kinable wrote:
That's odd, haven't seen this error before. Let's try to restart the build to see whether the error is on our side, or on the nexus side.

On Wed, Jun 17, 2020 at 10:00 AM Dimitrios Michail <dimitrio...@gmail.com> wrote:
One of the latest PR builds 


failed due to the deploy plugin. 

Is this normal? Any ideas what is happening?

--
You received this message because you are subscribed to the Google Groups "jgrapht-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jgrapht-dev+unsubscribe@googlegroups.com.
Reply all
Reply to author
Forward
0 new messages