Commit 766776c4 authored by Robbert Krebbers's avatar Robbert Krebbers

Bump Iris (sbi removal).

parent 9418275e
Pipeline #28839 passed with stage
in 32 minutes and 7 seconds