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 release script #147

Merged
merged 2 commits into from
Aug 27, 2020
Merged

Fix release script #147

merged 2 commits into from
Aug 27, 2020

Conversation

philomath213
Copy link
Member

Description

  • Fix windows release script filename install_req_windows.bat instead of install_req_windows.sh
  • Make install_req_centos.sh script executable.

Affected Dependencies

  • None

How has this been tested?

  • No tests.

Checklist

@philomath213 philomath213 added Type: Bug 🐛 Some functionality not working in the codebase as intended Build Related to the build of the package labels Aug 27, 2020
@philomath213 philomath213 requested a review from youben11 August 27, 2020 15:43
@philomath213 philomath213 merged commit 5615412 into master Aug 27, 2020
@delete-merged-branch delete-merged-branch bot deleted the fix-release-script branch August 27, 2020 16:25
pierreeliseeflory pushed a commit to pierreeliseeflory/TenSEAL that referenced this pull request Apr 27, 2022
* make install_req_centos.sh executable

* fix windows release script filename
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Build Related to the build of the package Type: Bug 🐛 Some functionality not working in the codebase as intended
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant