Skip to content
Kani Format Check

Function Contracts: Closure Type Inference #6978

# to view logs

Function Contracts: Closure Type Inference

Function Contracts: Closure Type Inference #6978

Triggered via pull request July 1, 2024 16:12
@pi314mmpi314mm
synchronize #3307
pi314mm:annotate_closure
Status Success
Total duration 3m 10s
Artifacts –

format-check.yml

on: pull_request
format-check
6s
format-check
clippy-check
3m 1s
clippy-check
Fit to window
Zoom out
Zoom in