Skip to content

Remove -PdeployDocsHost=docs-ip.spring.io from Build #10023

New issue
New issue
Closed
Closed
Remove -PdeployDocsHost=docs-ip.spring.io from Build#10023
Assignees
rwinch
Labels
in: buildAn issue in the buildtype: backportAn issue that is a backport of another issue to a maintenance branchtype: enhancementA general enhancement
Milestone
5.3.11
@spring-projects-issues

Description

@spring-projects-issues
spring-projects-issues
opened on Jun 29, 2021

Backport of gh-10021

Metadata

Metadata

Assignees

Labels

in: buildAn issue in the buildtype: backportAn issue that is a backport of another issue to a maintenance branchtype: enhancementA general enhancement

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions