Skip to content
Code Verification CI

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

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 #414

Triggered via push February 8, 2025 00:00
@spernsteinerspernsteiner
pushed 94f9607
98-mkm-config
Status Failure
Total duration 28m 34s
Artifacts –

proofs.yml

on: push
mps-verify-cn
11m 54s
mps-verify-cn
mps-verify-frama-c
3m 6s
mps-verify-frama-c
secure-boot-verify-cn
28m 23s
secure-boot-verify-cn
Fit to window
Zoom out
Zoom in