search

exercism / coq

Exercism exercises in Coq.
https://exercism.org/tracks/coq
MIT License
18 stars 11 forks source link

add GHA workflows #47

Closed cmccandless closed 3 years ago

cmccandless commented 3 years ago

Resolves #46

cmccandless commented 3 years ago

As unit tests were already disabled in the existing Travis config, I've commented out that step here. It doesn't seem to be working anyway.