Skip to content

Commit

Permalink
NFC add known bug nr to test
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiaskrgr committed Nov 2, 2024
1 parent 588a420 commit f341a19
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver
//@[next] check-pass
//@[current] known-bug: unknown
//@[current] known-bug: #132519
//@[current] failure-status: 101
//@[current] dont-check-compiler-stderr

Expand Down

0 comments on commit f341a19

Please sign in to comment.