Skip to content

Latest commit

 

History

History
29 lines (21 loc) · 1.04 KB

ISSUES.md

File metadata and controls

29 lines (21 loc) · 1.04 KB

Issues

Technical questions

The best way to get help with technical questions is on StackOverflow using the [seal] tag. To contact the Microsoft SEAL team directly, please email [email protected].

Bug reports

We appreciate community efforts to find and fix bugs and issues in Microsoft SEAL. If you believe you have found a bug or want to report some other issue, please do so on GitHub. To help others determine what the problem may be, we provide a helpful script that collects relevant system information that you can submit with the bug report (see below).

System information

To collect system information for an improved bug report, please run

make -C tools system_info

This will result in a file system_info.tar.gz to be generated, which you can optionally attach with your bug report.

Critical security issues

For reporting critical security issues, see SECURITY.md.