CN proofs

Add code coverage requirement #2

Sign in to view logs

Summary
Jobs
- mps-verify
Run details
- Usage
- Workflow file

Triggered via push May 30, 2024 19:18

podhrmic

45-feature-gather-requirements-for-ta1-tooling

Status Failure

Total duration 1m 0s

Billable time 1m

Artifacts –

cn.yml

on: push