check dependent packages in CI

coq-community / chapar

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

MIT License

32 stars 7 forks source link

Closed palmskog closed 4 years ago

Zimmi48 commented 4 years ago

You should be able to do this by overriding just one or a few steps instead of the whole custom_script. See doc for Docker-Coq-Action.