Code Verification CI

Merge pull request #147 from GaloisInc/gus-reword #387

Sign in to view logs

Triggered via push January 8, 2025 04:33

podhrmic

main

Status Success

Total duration 26m 15s

Artifacts –

proofs.yml

on: push

mps-verify-frama-c

secure-boot-verify-cn