Files
tfhe-rs/scripts/clippy_driver.sh
Mayeul@Zama 72475a385e chore(all): add makefile command to clippy lint doctests
- The command exits with a warning on windows as it does not work at the
moment
2024-07-09 14:08:34 +02:00

67 B
Executable File