search

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

Re-enable CBMC on self-hosted runner #117

Closed hanno-becker closed 1 week ago

hanno-becker commented 3 weeks ago

We're hitting resource limitations for the free Ubuntu runner which makes CBMC fail in CI. #113 disables it for now.

We need to discuss whether it's worth re-enabling it on a self-hosted (EC2) runner.

hanno-becker commented 3 weeks ago

The CBMC run itself is quick at the moment, but as I remember the nix build takes quite some time, even though we do use the nix cache.

I'd be inclined to open a PR using a medium-capacity EC2 runner for this, running it a few times to gauge the runtime and cost, and then decide if it's worth it.

hanno-becker commented 2 weeks ago

This is currently blocked on a compilation error on CBMC 6.2.0 on ubuntu-latest aarch64 machines. @rod-chapman This is still open right?

rod-chapman commented 2 weeks ago

Yes... CBMC team are looking at the build failure on Aarch64 machines...

hanno-becker commented 1 week ago

@rod-chapman Is this resolved with CBMC 6.3.1 (#150)?

hanno-becker commented 1 week ago

Fixed in https://github.com/pq-code-package/mlkem-c-aarch64/pull/154