Upgrade version number to 0.41.0 #5683
Triggered via pull request
November 17, 2023 15:26
Status
Success
Total duration
49m 54s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 7s
benchcomp-tests
3m 29s
perf
28m 52s
bookrunner
16m 34s
Matrix: regression