Skip to content

Bump Kani version to 0.48.0 #6099

Bump Kani version to 0.48.0

Bump Kani version to 0.48.0 #6099

Triggered via pull request March 13, 2024 21:49
Status Success
Total duration 1m 59s
Artifacts

format-check.yml

on: pull_request
Fit to window
Zoom out
Zoom in