CI: precompile apps - Githubissues

webyrd / mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

MIT License

317 stars 53 forks source link

Closed jeffhhk closed 3 years ago

jeffhhk commented 3 years ago

On every CI run, check that the three currently supported apps compile:

medikanren/apps/translator-web-server.rkt medikanren/apps/gui-simple-v2.rkt medikanren2/trapi.rkt

(Currently, the third does not compile)