What is Agda? Dependent types Typing for programmers Dependent types Dependent types and logic What is Agda? Agda is a dependently typed programming language. It is an ex...

VelaUX OpenAPI Authentication and API Example Login and get the token Request other APIs Refresh the token API Document 1.3 1.4 VelaUX OpenAPI This section will introduce...

Sequences, Abstraction Design Sequences, Abstraction Design Understanding asynquence begins with understanding a fundamental abstraction: any series of steps for a task, whethe...

Security Helmet CORS CSRF Rate limiting Security In this chapter you will learn some techniques that will allow you to increase the security of your applications. Helmet...

依赖关系 版本：v1.6 依赖关系 本节将介绍如何在 KubeVela 中指定工作流步骤的依赖关系。 备注 在 1.4及以前版本中，工作流中的步骤是顺序执行的，这意味着步骤间有一个隐式的依赖关系，即：下一个步骤依赖上一个步骤的成功执行。此时，在工作流中指定依赖关系的意义可能不大。 在版本 1.5+ 中，你将可以显示指定工作流步骤的执行方式（如：...

依赖关系 依赖关系 本节将介绍如何在 KubeVela 中指定工作流步骤的依赖关系。 备注 在 1.4及以前版本中，工作流中的步骤是顺序执行的，这意味着步骤间有一个隐式的依赖关系，即：下一个步骤依赖上一个步骤的成功执行。此时，在工作流中指定依赖关系的意义可能不大。 在版本 1.5+ 中，你将可以显示指定工作流步骤的执行方式（如：改成 DAG 并行...

依赖关系 版本：v1.8 依赖关系 本节将介绍如何在 KubeVela 中指定工作流步骤的依赖关系。 备注 在 1.4及以前版本中，工作流中的步骤是顺序执行的，这意味着步骤间有一个隐式的依赖关系，即：下一个步骤依赖上一个步骤的成功执行。此时，在工作流中指定依赖关系的意义可能不大。 在版本 1.5+ 中，你将可以显示指定工作流步骤的执行方式（如：...

How-To: Publish a message and subscribe to a topic Introduction Content Types Step 1: Setup the Pub/Sub component Step 2: Subscribe to topics Note Declarative subscriptions Ex...

Declarative and programmatic subscription methods Pub/sub API subscription methods Declarative subscriptions Programmatic subscriptions Next Steps Declarative and programmat...

Declarative and programmatic subscription methods Pub/sub API subscription methods Declarative subscriptions Programmatic subscriptions Next Steps Declarative and programmat...