Skip to content
CI

Add formal verification of mret in CI / CD #974

Sign in to view logs

Add formal verification of mret in CI / CD

Add formal verification of mret in CI / CD #974

Triggered via pull request November 24, 2024 22:46
@francois141francois141
synchronize #272
add-formal-verification-ci-cd-mret
Status Failure
Total duration 1m 44s
Artifacts –

ci.yaml

on: pull_request
Miralis
1m 33s
Miralis
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miralis
Process completed with exit code 101.