Skip to content
Kani CI M1

Change reachability module to use StableMIR (#2894) #41

Sign in to view logs

Change reachability module to use StableMIR (#2894)

Change reachability module to use StableMIR (#2894) #41

Triggered via push November 30, 2023 19:14
@celinvalcelinval
pushed bd2d8d5
main
Status Success
Total duration 11m 5s
Artifacts –

kani-m1.yml

on: push
regression
10m 55s
regression
Fit to window
Zoom out
Zoom in