Skip to content
Checks

Changes to the Kyber code to get lax typechecking #144

Sign in to view logs

Changes to the Kyber code to get lax typechecking

Changes to the Kyber code to get lax typechecking #144

Triggered via pull request November 18, 2023 13:24
@franziskuskieferfranziskuskiefer
synchronize #133
goutam/fstar
Status Success
Total duration 13s
Artifacts –

checks.yml

on: pull_request
fmt
4s
fmt
Fit to window
Zoom out
Zoom in