remove now unnecessary IRIS_VERSION

2 jobs for ci in 2 minutes and 39 seconds (queued for 1 minute and 49 seconds)
Status Job ID Name Coverage
  Iris
passed #1243
coq
iris

00:00:11

 
  Iris Atomic
passed #1244
coq
iris-atomic

00:02:27