|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Just wanted to add a possible workaround for anybody else that hits this issue.
Having a step for a batch/shell command to set the VAGRANT_DEFAULT_PROVIDER key to your preferred provider before you run the Vagrant steps and not specifying a provider will allow vagrant to succeed.