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 #167

Closed palmskog closed 10 months ago

palmskog commented 10 months ago

Here is our standard boilerplate for CI based on Docker and GitHub Actions. This approach is planned to be maintained for the long term. I tried to preserve as much as possible from the Travis CI.

If this looks good, I can add the corresponding configuration to the coq8.18 branch as well, to illustrate how it can be specialized for a specific Coq version.

lukaszcz commented 10 months ago

I can add the corresponding configuration to the coq8.18 branch as well, to illustrate how it can be specialized for a specific Coq version.

Thanks! That would be nice.