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 iris #1243
coq

00:00:11

 
  Iris Atomic
passed iris-atomic #1244
coq

00:02:27