diff --git a/.github/example-run/minimising.ron b/.github/example-run/minimising.ron
deleted file mode 100644
index e8577916525db..0000000000000
--- a/.github/example-run/minimising.ron
+++ /dev/null
@@ -1,3 +0,0 @@
-(
-    exit_after: Some(90)
-)