google / OpenSK / 25046287116

97%

2.1: 97%

push

github

Moves OpenSK to Wasefire (#768)

* First stage of Tock removal

- Deletes all Tock related code.
- Uses uv instead of manual venv setup.
- Moves Wasefire env into src.
- Fixes errors and lints.

* Adding Wasefire and moving to new toolchain

* Adepts the new OpenSK Env, plus new documentation

- Adepts the Customization to untie batch attestation from CTAP1
- Prevents privacy issues by removing per device attestation
- For now, removes batch certificate injection
- The binary size workflow is disabled until fixed

* Update docs/install.md

Co-authored-by: Julien Cretin <github@ia0.eu>

* Disallows dead code in linter, removes toolchains

* Made the allowed dead code more specific to main

* Changes the targets in the CI script

The script worked locally, because targets were already installed. The
GitHub workflow caught the missing install though.

---------

Co-authored-by: Julien Cretin <github@ia0.eu>

103 of 112 new or added lines in 9 files covered. (91.96%)

13173 of 13550 relevant lines covered (97.22%)

10369.54 hits per line