Skip to content
Auto Label

Unify Kani bundle CI jobs #112

Sign in to view logs

Unify Kani bundle CI jobs

Unify Kani bundle CI jobs #112

Triggered via pull request October 26, 2023 17:55
@celinvalcelinval
synchronize #2841
Status Success
Total duration 16s
Artifacts –

labeler.yml

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