Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix winnie build #2514

Merged
merged 3 commits into from
May 12, 2023
Merged

Fix winnie build #2514

merged 3 commits into from
May 12, 2023

Conversation

robe2
Copy link
Member

@robe2 robe2 commented May 12, 2023

Fixes #2513 2513

Changes proposed in this pull request:

  • get rid of syntax checking
  • get rid of quotes in shell, as preventing from working

@pgRouting/admins

@robe2 robe2 requested a review from cvvergara May 12, 2023 19:20
@robe2 robe2 merged commit 4b895b9 into pgRouting:main May 12, 2023
robe2 added a commit that referenced this pull request May 12, 2023
* Fix winnie build and test.  References #2513

* Exclude checking winnie's build script from shell checking

* Didn't exclude right test
@cvvergara cvvergara added this to the Release 3.5.1 milestone May 16, 2023
@cvvergara cvvergara added the CI Conitnuous Integration label May 16, 2023
@robe2 robe2 deleted the fix-winnie-build branch October 23, 2023 04:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Conitnuous Integration
Projects
None yet
Development

Successfully merging this pull request may close these issues.

winnie ls steps and rm steps are not working, also upgrade boost version
2 participants