Skip to content
Kani CI

Set python to 3.7 in docker container and release action (#2879) #5671

Sign in to view logs

Set python to 3.7 in docker container and release action (#2879)

Set python to 3.7 in docker container and release action (#2879) #5671

Triggered via push November 16, 2023 21:39
@jaisnanjaisnan
pushed 4ddd50b
main
Status Success
Total duration 34m 21s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
11m 55s
write-json-symtab-regression
benchcomp-tests
4m 31s
benchcomp-tests
perf
26m 15s
perf
bookrunner
15m 24s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in