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.

Sign up for GitHub

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

Jump to bottom

Build script for liboqs library #384

Merged
merged 9 commits into from
Nov 14, 2023
Merged

Build script for liboqs library #384

merged 9 commits into from
Nov 14, 2023

Conversation

jurajhilje
Copy link
Member

PR type

What kind of change does this PR introduce?

  • Bugfix
  • Feature
  • Code style update
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes

Resolves #383

@jurajhilje jurajhilje self-assigned this Nov 6, 2023
@jurajhilje jurajhilje changed the base branch from feature/v2ray to develop November 6, 2023 20:57
@jurajhilje jurajhilje changed the base branch from develop to feature/v2ray November 6, 2023 20:57
Base automatically changed from feature/v2ray to develop November 12, 2023 11:15
@jurajhilje jurajhilje merged commit bd0ade2 into develop Nov 14, 2023
2 checks passed
@jurajhilje jurajhilje deleted the task/liboqs-build-script branch November 14, 2023 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@jurajhilje jurajhilje

Labels
type: build/ci type: refactor
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Build script for liboqs library
1 participant
@jurajhilje