set python to 3.7 in docker container and release action #5670
Triggered via pull request
November 16, 2023 20:18
jaisnan
Status
Success
Total duration
40m 58s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
10m 58s
benchcomp-tests
4m 21s
perf
25m 50s
bookrunner
16m 10s
Matrix: regression