Closed soonum closed 2 weeks ago
looks like filters are bugged
https://github.com/zama-ai/tfhe-rs/actions/runs/9387081025/job/25849210688?pr=1198 bugged filter
https://github.com/zama-ai/tfhe-rs/actions/runs/9387081025/job/25849210688?pr=1198
bugged filter
Thanks, this is fixed, I'd forgotten a closing parenthesis.
looks like filters are bugged