文件名称：模板：用于维护Coq项目的配置文件和脚本模板[maintainers = @ palmskog，@ Zimmi48]
文件大小：17KB
文件格式：ZIP
更新时间：2024-02-20 01:45:48
continuous-integration coq mustache-templates ContinuousintegrationHTML
模板：用于维护Coq项目的配置文件和脚本模板[maintainers = @ palmskog，@ Zimmi48]
【文件预览】：
templates-master
----.gitignore(3B)
----shell.nix(119B)
----config.yml.mustache(2KB)
----README.md(5KB)
----.github()
--------workflows()
----extracted.opam.mustache(1KB)
----ref.yml(11KB)
----nix-action.yml.mustache(1KB)
----LICENSE(1KB)
----index.md.mustache(2KB)
----dune.mustache(305B)
----dune-project.mustache(55B)
----coq.opam.mustache(2KB)
----default.nix.mustache(958B)
----generate.sh(4KB)
----docker-action.yml.mustache(1KB)
----.travis.yml.mustache(3KB)
----README.md.mustache(5KB)