Skip to content
Kani Format Check

Revert "Ignore derivative in Cargo deny" (#3712) #8861

Sign in to view logs

Revert "Ignore derivative in Cargo deny" (#3712)

Revert "Ignore derivative in Cargo deny" (#3712) #8861

Triggered via push November 14, 2024 06:45
@github-merge-queuegithub-merge-queue[bot]
pushed abcc9e1
gh-readonly-queue/main/pr-3712-c0afe20a6b9e474986c3ad724a17cfce5d5d3cac
Status Success
Total duration 2m 21s
Artifacts –

format-check.yml

on: push
format-check
6s
format-check
clippy-check
2m 13s
clippy-check
Fit to window
Zoom out
Zoom in