Upgrade version number to 0.41.0 #5677
Triggered via pull request
November 16, 2023 22:58
Status
Success
Total duration
28m 36s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 1s
benchcomp-tests
4m 41s
perf
28m 26s
bookrunner
17m 9s
Matrix: regression