Kani Format Check

Fix storing coverage data in cargo projects #584

Sign in to view logs

Triggered via push September 20, 2024 14:16

issue-cov-save-results

Status Success

Total duration 3m 53s

Artifacts –

format-check.yml

on: push