Skip to content
Auto Label

Update Kani version to 0.39.0 #85

Sign in to view logs

Update Kani version to 0.39.0

Update Kani version to 0.39.0 #85

Triggered via pull request October 17, 2023 20:11
@celinvalcelinval
opened #2824
Status Success
Total duration 19s
Artifacts –

labeler.yml

on: pull_request_target
auto-label
6s
auto-label
Fit to window
Zoom out
Zoom in