Clarify liboqs_DIR naming convention #292
Merged
CircleCI Checks / build
succeeded
Oct 23, 2023 in 11m 5s
Workflow: build
- ubuntu-jammy-static - Success
- macOS-static - Success
- ubuntu-focal - Success
- macOS-shared - Success
- check-clang-format - Success
- ubuntu-jammy - Success
- macOS-noopenssl - Success
Loading