Upgrade version number to 0.41.0 #5673
Triggered via pull request
November 16, 2023 22:08
Status
Success
Total duration
36m 27s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 20s
benchcomp-tests
3m 45s
perf
28m 34s
bookrunner
16m 47s
Matrix: regression