Skip to content
Kani Format Check

Fix contract handling of promoted constants and constant static #7274

Sign in to view logs

Fix contract handling of promoted constants and constant static

Fix contract handling of promoted constants and constant static #7274

Triggered via pull request July 23, 2024 20:27
@celinvalcelinval
synchronize #3305
celinval:issue-3228-contracts
Status Success
Total duration 3m 22s
Artifacts –

format-check.yml

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