Skip to content
Kani Format Check

Fix storing coverage data in cargo projects (#3527) #8139

Sign in to view logs

Fix storing coverage data in cargo projects (#3527)

Fix storing coverage data in cargo projects (#3527) #8139

Triggered via push September 20, 2024 16:38
@github-merge-queuegithub-merge-queue[bot]
pushed f1221b1
main
Status Success
Total duration 2m 7s
Artifacts –

format-check.yml

on: push
format-check
5s
format-check
clippy-check
1m 57s
clippy-check
Fit to window
Zoom out
Zoom in