verification-manifest:收集验证库的清单

清单库 该存储库包含用于验证存储库集合的google repo清单文件。 内容 此处存储的清单文件分为三类： default.xml ：此清单存储了seL4代码和证明存储库的最新“按工作测试”组合。 它由CI作业自动更新，指向特定的修订哈希，通常不应手动对其进行修改。 开发清单，例如devel.xml和mcs.xml ：这些是用于证明开发的，并且通常指向验证存储库的分支名称以及seL4代码存储库的固定修订哈希。 在修订了seL4 devel.xml将自动CI工作在了seL4不在的证明可见的代码更改更新。 每当与代码同步更新校样时，都应该手动更新或使用脚本来更新它。 然后，这将触发CI运行，如果成功，将触发default.xml的相应更新。 发行版本清单如12.0.0.xml ：这些清单存储seL4官方发行版的存储库版本配置。 使用这些来检查发行版本的证明。 采用 要使用，请从安装go