diff options
author | Marcin Junczys-Dowmunt <marcinjd@microsoft.com> | 2022-02-08 13:57:20 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-08 13:57:20 +0300 |
commit | 05ba9e4c319db2317319227f5706f634340e0db4 (patch) | |
tree | 9266afe6d10ec1e75ab52d30e496a624d454237a /scripts/embeddings | |
parent | a365bb5ce99135eab29ffe378e0c6c9fb9bf0c1b (diff) |
add -DDETERMINISTIC=ON/OFF flag (#912)
* Add -DDETERMINISTIC=ON/OFF flag to CMake
* Use -DDETERMINISTIC=on in GitHub/Azure workflows
Co-authored-by: Roman Grundkiewicz <rgrundkiewicz@gmail.com>
Diffstat (limited to 'scripts/embeddings')
0 files changed, 0 insertions, 0 deletions