Skip to content

Commit fea4641

Browse files
karkhazkarkhaz
authored
Delete Generator/discriminant test (rust-lang#2334)
This test is flaky in CI; removing until we can diagnose and fix the failure.
1 parent 8d7f501 commit fea4641

File tree

1 file changed

+0
-150
lines changed

1 file changed

+0
-150
lines changed

‎tests/kani/Generator/rustc-generator-tests/discriminant.rs

Lines changed: 0 additions & 150 deletions
This file was deleted.

0 commit comments

Comments
 (0)