Skip to content
Kani Format Check

Simple Stubbing with Contracts #5135

Sign in to view logs

Simple Stubbing with Contracts

Simple Stubbing with Contracts #5135

Triggered via pull request September 7, 2023 22:11
@JustusAdamJustusAdam
opened #2746
JustusAdam:simple-contract-replacement
Status Success
Total duration 4m 36s
Artifacts –

format-check.yml

on: pull_request
format-check
7s
format-check
clippy-check
4m 25s
clippy-check
Fit to window
Zoom out
Zoom in

Annotations

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