Skip to content

Merge pull request #64 from tomato42/standard-names-for-mlkem #125

Merge pull request #64 from tomato42/standard-names-for-mlkem

Merge pull request #64 from tomato42/standard-names-for-mlkem #125

Triggered via push July 23, 2024 19:41
Status Success
Total duration 1m 4s
Artifacts

ci.yml

on: push
docs-check
16s
docs-check
code-format
13s
code-format
Matrix: test
Fit to window
Zoom out
Zoom in