From 0c430d1e6b54a7f474df9f0ede51811ff99b0af4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Wed, 13 Nov 2024 11:08:55 +0000
Subject: [PATCH] ci: fix miri checks (#1651)

Fixes #1650

Manual run:
https://github.com/CQCL/hugr/actions/runs/11815871369/job/32917969928
---
 hugr-model/tests/text.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hugr-model/tests/text.rs b/hugr-model/tests/text.rs
index d6e07b4ff..162856cf4 100644
--- a/hugr-model/tests/text.rs
+++ b/hugr-model/tests/text.rs
@@ -13,6 +13,7 @@ pub fn test_declarative_extensions() {
 }
 
 #[test]
+#[cfg_attr(miri, ignore)] // Opening files is not supported in (isolated) miri
 pub fn test_literals() {
     insta::assert_snapshot!(roundtrip(include_str!("fixtures/model-literals.edn")))
 }