search

sr-lab / coqpyt

Python client for coq-lsp
MIT License
25 stars 3 forks source link

Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions #41

Closed Nfsaavedra closed 7 months ago

Nfsaavedra commented 7 months ago

Our unit tests got a speed-up of around 2.25 with this option. Thanks @rkthomps Now we also use a cache for the GH-Actions CI workflow.