Skip to content

Automatic cargo update to 2024-02-26 #6164

Automatic cargo update to 2024-02-26

Automatic cargo update to 2024-02-26 #6164

Triggered via pull request February 26, 2024 05:31
Status Success
Total duration 35m 23s
Artifacts

kani.yml

on: pull_request
Matrix: regression
Fit to window
Zoom out
Zoom in