search

exercism / coq

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

Add a placeholder test-pattern to the track config #22

Closed kytrinyx closed 7 years ago

kytrinyx commented 7 years ago

This will let the build keep passing when I cut a new release of Configlet later today.

kytrinyx commented 7 years ago

FYI @exercism/coq - I'm going to merge this as soon as the build passes so that I can cut a release of Configlet.