Skip to content
Auto Label

Unify Kani bundle CI jobs #111

Sign in to view logs

Unify Kani bundle CI jobs

Unify Kani bundle CI jobs #111

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

labeler.yml

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