Skip to content

Bump Kani version to 0.53.0 #7009

Bump Kani version to 0.53.0

Bump Kani version to 0.53.0 #7009

Triggered via pull request July 3, 2024 14:08
Status Success
Total duration 3m 14s
Artifacts

format-check.yml

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