欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Phabricator/drydock
来自开放百科 - 灰狐
Phabricator Drydock 软件和硬件资源管理器。
目录 |
简介
Drydock 是一种基础设施应用程序，主要帮助其他应用程序在复杂的构建和部署任务期间协调。 通常，您将配置 Drydock 以启用其他应用程序的功能：
- Harbormaster 使用 Drydock 进行构建
- Differential 使用 Drydock 进行服务端仓库合并
功能
指南
图集
链接
分享您的观点
