Attempt to fix Coq CI
I don't know if that's the correct way to do it, but this would fix Coq CI which is currently broken because iris-example requires a version of iris that no longer compiles with Coq master.
I don't know if that's the correct way to do it, but this would fix Coq CI which is currently broken because iris-example requires a version of iris that no longer compiles with Coq master.
