Skip to content

Commit

Permalink
Create settings.yml
Browse files Browse the repository at this point in the history
Signed-off-by: Ry Jones <[email protected]>
  • Loading branch information
ryjones authored Mar 12, 2024
1 parent 950ee74 commit c31dc48
Showing 1 changed file with 18 additions and 0 deletions.
18 changes: 18 additions & 0 deletions .github/settings.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
#
# SPDX-License-Identifier: Apache-2.0
#

repository:
name: mlkem-rust-libcrux
description: portable ML-KEM implementation with some optimizations for AVX2. Full AVX2 support will be added over the coming months. The code is formally verified for panic freedom, correctness, and secret independence in F* using the hax toolchain.
homepage: https://github.com/pq-code-package/mlkem-rust-libcrux
default_branch: main
has_downloads: false
has_issues: true
has_projects: true
has_wiki: false
archived: false
private: false
allow_squash_merge: true
allow_merge_commit: false
allow_rebase_merge: true

0 comments on commit c31dc48

Please sign in to comment.