Skip to content
Kani Format Check

Extra tests and bug fixes to the delayed UB instrumentation (#3419) #7849

Sign in to view logs

Extra tests and bug fixes to the delayed UB instrumentation (#3419)

Extra tests and bug fixes to the delayed UB instrumentation (#3419) #7849

Triggered via push August 28, 2024 22:03
@github-merge-queuegithub-merge-queue[bot]
pushed fd8d844
gh-readonly-queue/main/pr-3419-5aad1a9ebc28332756eba58bef314c2b1499ea8f
Status Success
Total duration 2m 26s
Artifacts –

format-check.yml

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