Revert "Bump actions/labeler from 4 to 5 (#2917)" #192
Triggered via pull request
December 7, 2023 16:24
tautschnig
opened
#2923
Status
Failure
Total duration
15s
Artifacts
–
extra_jobs.yml
on: pull_request_target
Auto Label
3s
Verification Benchmarks
/
perf-benchcomp
Annotations
2 errors
Auto Label
Error: found unexpected type for label 'Z-BenchCI' (should be array of config options)
|
Auto Label
found unexpected type for label 'Z-BenchCI' (should be array of config options)
|