文件名称：godel-conjure-plugin:Godel插件，可为Con Project生成Conjure
文件大小：15.93MB
文件格式：ZIP
更新时间：2024-04-21 19:59:26
octo-correct-managed Go
godel-conjure-plugin godel-conjure-plugin是的插件。 该插件根据项目配置运行。 它还作为--verify任务的一部分运行，并验证运行该任务不会更改输出目录的内容。 任务 conjure ：运行Conjure生成。 按顺序运行配置中指定的所有条目。 工作目录设置为项目目录。 conjure-publish ：将IR conjure-publish到指定的目的地。 核实 当作为不适用的验证的一部分运行时，如果运行任务会更改输出目录的任何内容，则该任务将失败。 在此过程中，不会修改输出目录。 请注意，该实现通过临时复制输出目录来进行操作。 因此，应避免在输出目录中包含大文件。 设定档 该插件的配置位于一个名为conjure-plugin.yml的文件中。 配置应采用以下形式： version : 1 projects : project-1 :