Commit 44dd07c4 authored by Robbert Krebbers's avatar Robbert Krebbers

Bump Iris (sbi removal).

parent 6d778c56
Pipeline #28750 passed with stage
in 20 minutes and 51 seconds