欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Spinnaker
来自开放百科 - 灰狐
Spinnaker 是一个开源(Apache v2)的持续交付平台,支持多种云平台,使用Python编写。
目录 |
简介
Spinnaker由Netflix开发并开源。
功能
指南
CI
Spinnaker支持以下CI:
DC/OS
项目
- deck Spinnaker UI: TypeScript和JavaScript编写。
文档
用户
图集
链接
分享您的观点