Serverless Workflow Editor for GitHub
Visualize and edit Serverless Workflow files using a graphical editor on GitHub
什么是Serverless Workflow Editor for GitHub?
Serverless Workflow Editor for GitHub是由KIE开发的Chrome扩展程序,该扩展的主要功能是“Visualize and edit Serverless Workflow files using a graphical editor on GitHub”。
扩展截图
下载Serverless Workflow Editor for GitHub扩展crx文件
下载Serverless Workflow Editor for GitHub扩展crx格式的文件,手动将Chrome插件安装到浏览器中,也可以将crx文件分享给朋友,轻松安装Chrome插件。
扩展使用说明
Visualize and edit Serverless Workflow files using a graphical viewer and a custom Monaco editor on GitHub. This Chrome Extension augments GitHub and provides a brand new way to handle your Serverless Workflow files directly on the GitHub interface. With the extension installed, you visualize your workflow with a graphical viewer, helping you to have a better experience and edit your Serverless Workflow files with an enhanced editor with powerful features, which will boost your productivity. The same applies to visualizing your assets on Pull Request reviews! Some Open Source projects were vital for the development of this extension, and we would like to thank all of them, with highlights to: - CNCF Serverless Workflow SDK Typescript: for workflow parsing; - Mermaid: for workflow rendering and visualization; - Apicurio: for our service catalog integration;
扩展基本信息
名称 | Serverless Workflow Editor for GitHub |
ID | ijamhkegfogkfnmfnfkjdiadomlphfej |
官方URL | https://chromewebstore.google.com/detail/serverless-workflow-edito/ijamhkegfogkfnmfnfkjdiadomlphfej |
简介 | Visualize and edit Serverless Workflow files using a graphical editor on GitHub |
文件大小 | 101 KB |
安装次数 | 91 |
当前版本 | 0.32.0 |
更新时间 | 2023-10-12 |
上架时间 | 2022-05-24 |
评分 | 5.00/5 共1次评分 |
开发者 | KIE |
电子邮箱 | [email protected] |
付费类型 | free |
支持的语言 | en-US |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "Serverless Workflow Editor for GitHub", "version": "0.32.0", "manifest_version": 3, "description": "Visualize and edit Serverless Workflow files using a graphical editor on GitHub", "content_scripts": [ { "run_at": "document_idle", "js": [ "content_scripts\/github.js" ], "matches": [ "https:\/\/*.github.com\/*" ], "all_frames": true } ], "icons": { "16": "resources\/icon_16.png", "48": "resources\/icon_48.png", "128": "resources\/icon_128.png" }, "action": { "default_icon": "resources\/icon_16.png" }, "web_accessible_resources": [ { "resources": [ "resources\/*", "scripts\/*" ], "matches": [ "https:\/\/*\/*", "http:\/\/*\/*" ] } ], "declarative_net_request": { "rule_resources": [ { "id": "rulesset_1", "enabled": true, "path": "rules.json" } ] }, "permissions": [ "declarativeNetRequest" ], "host_permissions": [ "https:\/\/*.github.com\/*", "http:\/\/*.github.com\/*" ], "sandbox": { "pages": [ "https:\/\/raw.githubusercontent.com" ] }, "content_security_policy": { "sandbox": "sandbox allow-scripts; object-src 'self'" }, "externally_connectable": { "matches": [ "https:\/\/*.github.com\/*", "http:\/\/*.github.com\/*", "https:\/\/kiegroup.github.io\/*", "http:\/\/kiegroup.github.io\/*" ] } } |