文件名称：docker-coq-action：使用Docker-Coq的GitHub操作[maintainers = @ erikmd，@ Zimmi48]
文件大小：13KB
文件格式：ZIP
更新时间：2024-02-20 02:21:40
continuous-integration coq actions opam action
docker-coq-action：使用Docker-Coq的GitHub操作[maintainers = @ erikmd，@ Zimmi48]
【文件预览】：
docker-coq-action-master
----.dockerignore(61B)
----.github()
--------workflows()
----action.yml(2KB)
----Dockerfile(149B)
----LICENSE(1KB)
----coq.json(594B)
----README.md(11KB)
----Makefile(403B)
----timegroup.sh(1KB)
----.gitignore(539B)
----helper.sh(2KB)
----entrypoint.sh(6KB)