leanprover
diff --git a/‎.github/workflows/ci.yml‎
Lines changed: 2 additions & 0 deletions b/‎.github/workflows/ci.yml‎
Lines changed: 2 additions & 0 deletions
diff --git a/‎tests/elab_bench/big_do.lean.init.sh‎
Lines changed: 0 additions & 2 deletions b/‎tests/elab_bench/big_do.lean.init.sh‎
Lines changed: 0 additions & 2 deletions
@@ -269,6 +269,8 @@ jobs:
                 "enabled": level >= 2,
                 "test": true,
                 "CMAKE_PRESET": "reldebug",
+                // * `elab/big_do` crashes with exit code 134
+                "CTEST_OPTIONS": "-E 'elab/big_do'",
               },
               {
                 "name": "Linux fsanitize",
Original file line number	Diff line number	Diff line change
`@@ -269,6 +269,8 @@ jobs:`
`269`	`269`	`"enabled": level >= 2,`
`270`	`270`	`"test": true,`
`271`	`271`	`"CMAKE_PRESET": "reldebug",`
	`272`	+ // * `elab/big_do` crashes with exit code 134
	`273`	`+ "CTEST_OPTIONS": "-E 'elab/big_do'",`
`272`	`274`	`},`
`273`	`275`	`{`
`274`	`276`	`"name": "Linux fsanitize",`