github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-02-08 19:44:57 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
5d26ad499a8a8e806d09864921b5ae9f4f1f6c42
concrete/script/make_utils
History
Arthur Meyre 5d26ad499a fix(build): properly serialize calls to mypy 
- add an helper script to serialize make commands
- serialize mypy commands as they may overwrite each others cache
- format coverage command to avoid being ridiculously long
2021-08-18 12:23:53 +02:00
..
serialize_targets.sh
fix(build): properly serialize calls to mypy
2021-08-18 12:23:53 +02:00