-
Austin Seipp authored
This was working, and then it started failing again; it's a pretty fragile test anyway because it 'grep's the output of the compiler. In the mean time, make the CI system quiet down by marking it appropriately. Signed-off-by: Austin Seipp <austin@well-typed.com>
e283cecf