Skip to content
Pull Request

[FPV] Formal suite for the MLKEM #580

Sign in to view logs

[FPV] Formal suite for the MLKEM

[FPV] Formal suite for the MLKEM #580

Triggered via pull request February 10, 2026 17:08
@batthineniatlubisbatthineniatlubis
synchronize #253
formal_v2.0
Status Success
Total duration 29s
Artifacts –

pull_request.yml

on: pull_request
pre_run  /  compile.yml Check
9s
pre_run / compile.yml Check
pre_run  /  Hash Check
pre_run / Hash Check
pre_run  /  License Header Check
4s
pre_run / License Header Check
pre_run  /  RDL File Check
16s
pre_run / RDL File Check
Call Post Run Final
5s
Call Post Run Final
Fit to window
Zoom out
Zoom in