Skip to content
Kani Format Check

Fix contract of constant fn with effect feature #6723

Sign in to view logs

Fix contract of constant fn with effect feature

Fix contract of constant fn with effect feature #6723

Triggered via pull request June 12, 2024 02:13
@celinvalcelinval
synchronize #3259
celinval:issue-3258-effect-contract
Status Success
Total duration 2m 23s
Artifacts –

format-check.yml

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