basic CI

Enable Frama-C proofs in the CI #23

Sign in to view logs

Triggered via push May 30, 2024 16:08

podhrmic

48-verify-mps-in-ci

Status Success

Total duration 7m 34s

Billable time 11m

Artifacts –

main.yml

on: push