Bump actions/labeler from 4 to 5 #5925
Triggered via pull request
December 12, 2023 20:39
tautschnig
Status
Success
Total duration
30m 26s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 17s
benchcomp-tests
3m 20s
perf
30m 14s
bookrunner
16m 41s
Matrix: regression