自动化研究产物 — 非上游项目。

本仓库是由自动化工具链构建的一次性实验环境，用于拉瓦尔大学（Université Laval）硕士论文中复现已发表的 GitHub Actions 工作流漏洞研究。它是 eclipse-theia/theia-website 在提交 d272e2418221240a7c9f8480dd0576a65ca49625（2026-01-19）时的逐字快照，依据该项目自身的许可证重新分发，该许可证文件已原样包含在本快照中。

上游项目未参与其中，也从未成为攻击目标，此处研究的漏洞已公开。本仓库中的所有密钥和变量均为随机生成的虚拟值——不包含任何真实凭据。操作引用和运行器镜像均固定为 2026-01-19 时解析到的版本；有关对快照所做的所有更改，请参阅工具链输出中的 pinning.md。

如有疑问或异议，请联系：[email protected]

---

Theia 官网

Theia IDE 框架的网站与在线文档的源码。

本地运行

本地构建需要 node 14.x。或者，您可以使用 npm i --legacy-peer-deps 来忽略冲突的 peer 依赖。

npm install && npm run start

如需构建生产版本并进行部署，请运行：

npm run build
npm run serve

CI

该网站通过 Github workflows 自动构建，并部署到 Github Pages，可通过 theia-ide.org 访问。

每个拉取请求的预览会发布到 eclipse-theia/theia-website-previews。构建完成后，您会看到一条包含预览链接的评论。 更多信息请参阅 publish.yml 和 preview.yml。

许可证

• Eclipse Public License 2.0
• 一（次要）GNU General Public License，版本 2，附带 GNU Classpath Exception

商标

"Theia" 是 Eclipse Foundation 的商标 https://www.eclipse.dev/theia