Skip to content

Automate cargo update without dependabot #5955

Automate cargo update without dependabot

Automate cargo update without dependabot #5955

Triggered via pull request December 14, 2023 19:08
Status Success
Total duration 28m 15s
Artifacts

kani.yml

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