Back to pull request #2896

Bump Kani version to 0.42.0 #5573

Sign in to view logs

Triggered via pull request November 28, 2023 14:46

synchronize #2896

tautschnig:release-0.42.0

Status Success

Total duration 3m 22s

Artifacts –

format-check.yml

on: pull_request