search

lukaszcz / coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Other
211 stars 31 forks source link

switch to Docker Action CI for 8.18 #168

Closed palmskog closed 10 months ago

palmskog commented 10 months ago

The only differences from #167 is basically that the branch name (coq8.18) is used instead of master in a couple of places, and the Docker image tag is different.