Skip to content
Kani Format Check

Function Contracts: Support for defining and checking requires and … #5132

Sign in to view logs

Function Contracts: Support for defining and checking requires and …

Function Contracts: Support for defining and checking requires and … #5132

Triggered via push September 7, 2023 17:28
@JustusAdamJustusAdam
pushed f834be7
main
Status Success
Total duration 5m 7s
Artifacts –

format-check.yml

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

Annotations

1 error
format-check
Process completed with exit code 123.