Skip to content
Auto Label

Bump Kani version to 0.38.0 #29

Sign in to view logs

Bump Kani version to 0.38.0

Bump Kani version to 0.38.0 #29

Triggered via pull request October 2, 2023 11:20
@tautschnigtautschnig
synchronize #2798
Status Success
Total duration 19s
Artifacts –

labeler.yml

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