Rust.cc · 2023-08-15T02:34:47Z 【Rust日报】2023-08-13 💡 原文中文，约1100字，阅读约需3分钟。 📝 内容提要 Pipelight项目发布了v0.6.14版本，增加了文件修改时触发管道、28个可用的git hook触发管道等功能。egui_dnd发布了0.5.0版本，支持动画和触摸。Kani发布了0.34.0版本，通过更改默认求解器为CaDiCaL来提高性能。 🏷️ 标签 0.34.0 0.5.0 CaDiCaL Kani Pipelight egui_dnd git hook v0.6.14 动画 性能 文件修改 求解器 触摸 阅读原文 生成长图 分享链接 已复制链接
