Skip to content

Bump actions/labeler from 4 to 5 #5929

Bump actions/labeler from 4 to 5

Bump actions/labeler from 4 to 5 #5929

Triggered via pull request December 12, 2023 22:09
Status Success
Total duration 27m 26s
Artifacts

kani.yml

on: pull_request
Matrix: regression
Fit to window
Zoom out
Zoom in