【文件属性】：
文件名称：godel-conjure-plugin:Godel插件，可为Con Project生成Conjure
文件大小：15.93MB
文件格式：ZIP
更新时间：2021-04-02 02:12:46
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 :