Skip to content
Kani Format Check

Update the rustc hack for CLion / RustRover (#3868) #9471

Sign in to view logs

Update the rustc hack for CLion / RustRover (#3868)

Update the rustc hack for CLion / RustRover (#3868) #9471

Triggered via push January 31, 2025 22:00
@github-merge-queuegithub-merge-queue[bot]
pushed edb1173
gh-readonly-queue/main/pr-3868-afd0469fa1f41b838037c1a961b1ef18642de48e
Status Success
Total duration 2m 47s
Artifacts –

format-check.yml

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