Run CBMC on EC2 runner in CI and guard by label - Githubissues

pq-code-package / mlkem-c-aarch64

ML-KEM implementation optimized for aarch64

https://pq-code-package.github.io/mlkem-c-aarch64/dev/bench

Apache License 2.0

9 stars 6 forks source link

Run CBMC on EC2 runner in CI and guard by label #154

Closed hanno-becker closed 1 week ago

hanno-becker commented 1 week ago

Fixes https://github.com/pq-code-package/mlkem-c-aarch64/issues/117