Skip to content

Revert "Bump actions/labeler from 4 to 5 (#2917)" (#2923) #5838

Revert "Bump actions/labeler from 4 to 5 (#2917)" (#2923)

Revert "Bump actions/labeler from 4 to 5 (#2917)" (#2923) #5838

Triggered via push December 7, 2023 20:11
Status Success
Total duration 27m 54s
Artifacts

kani.yml

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