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.

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

create individual proof targets #43

Merged
merged 1 commit into from
Jul 20, 2024
Merged

create individual proof targets #43

merged 1 commit into from
Jul 20, 2024

Conversation

fdupress
Copy link
Contributor

For specification security, specification correctness, and implementation correctness.

This is to ease integration in various reverse CI runs while keeping checking time reasonable for individual jobs.
This does not make the formosa-mlkem CI run the jobs separately.

for specification security, specification correctness, and
implementation correctness
@fdupress fdupress requested review from tfaoliveira and strub July 20, 2024 15:20
@fdupress fdupress self-assigned this Jul 20, 2024
@strub strub merged commit d4c59cf into master Jul 20, 2024
8 checks passed
@vbgl vbgl deleted the split-proof-targets branch July 20, 2024 19:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants