rm iris overlay

Tragicus · Tragicus · commit c5eaafb4f61f · 2025-10-21T12:36:08.000+02:00
diff --git a/dev/ci/user-overlays/21180-Tragicus-evd-inst.sh b/dev/ci/user-overlays/21180-Tragicus-evd-inst.sh
@@ -1,3 +1,2 @@
 overlay hott https://github.com/Tragicus/Coq-HoTT rocq19822 21180
 overlay argosy https://github.com/Tragicus/argosy rocq21180 21180
-overlay iris https://gitlab.mpi-sws.org/Tragicus/iris rocq21180 21180

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,2 @@`
`1`	`1`	`overlay hott https://github.com/Tragicus/Coq-HoTT rocq19822 21180`
`2`	`2`	`overlay argosy https://github.com/Tragicus/argosy rocq21180 21180`
`3`		`-overlay iris https://gitlab.mpi-sws.org/Tragicus/iris rocq21180 21180`