@@ -7271,6 +7271,7 @@ skipped-tests:
7271 - mono-traversable
7271 - mono-traversable
7272 - multiarg
7272 - multiarg
7273 - murmur3
7273 - murmur3
7274 - thread-supervisor
7275 - thread-supervisor
7275 - type-map
7276 - type-map
7276 - typecheck-plugin-nat-simple
7277 - typecheck-plugin-nat-simple