Upgrade version number to 0.41.0 #5675
Triggered via pull request
November 16, 2023 22:16
Status
Success
Total duration
32m 51s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
10m 58s
benchcomp-tests
3m 28s
perf
27m 52s
bookrunner
16m 9s
Matrix: regression