Skip to content

Conversation

@vatanaksoytezer
Copy link

I realized previously merged PR #634 only builds the pages on pushes. We would want to build the pages but not deploy it in PRs. This PR enables building pages in PRs without deploying it.

@vatanaksoytezer vatanaksoytezer requested a review from rhaschke June 8, 2021 16:18
@vatanaksoytezer
Copy link
Author

@rhaschke can you have a look at this one line PR when you have time?

@rhaschke rhaschke merged commit 901ed80 into moveit:master Jun 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants