Bump Iris and get rid of some annotations.
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Test | |||||||||
| passed | igps-coq8.6.1 |
#3521
fp-timing
|
00:24:59
|
|
|||||
| passed | iris-coq8.7 |
#3520
fp-timing
|
00:18:15
|
|
|||||
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Test | |||||||||
| passed | igps-coq8.6.1 |
#3521
fp-timing
|
00:24:59
|
|
|||||
| passed | iris-coq8.7 |
#3520
fp-timing
|
00:18:15
|
|
|||||