Skip to content
Code Verification CI

mkm: use INI instead of TOML for config file format #413

Sign in to view logs

mkm: use INI instead of TOML for config file format

mkm: use INI instead of TOML for config file format #413

Triggered via push February 7, 2025 23:40
@spernsteinerspernsteiner
pushed a4708e8
98-mkm-config
Status Failure
Total duration 25m 28s
Artifacts –

proofs.yml

on: push
mps-verify-cn
13m 8s
mps-verify-cn
mps-verify-frama-c
2m 50s
mps-verify-frama-c
secure-boot-verify-cn
25m 19s
secure-boot-verify-cn
Fit to window
Zoom out
Zoom in