https://github.com/JasonGross/coq-tools
History
Tip revision: 26f97680caa069f129830fcd7b5e44c8dc22b74b authored by Jason Gross on 09 April 2022, 12:33:46 UTC
Add MacOS CI
Tip revision: 26f9768
File Mode Size
workflows
dependabot.yml -rw-r--r-- 218 bytes

back to top