Bump actions/checkout from 3 to 4 #5917
Triggered via pull request
December 11, 2023 18:07
Status
Success
Total duration
29m 30s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 15s
benchcomp-tests
4m 23s
perf
29m 15s
bookrunner
15m 51s
Matrix: regression