Our CI should run verifyproblem on all example problems to help catch errors. While we could technically just add it to our workflow scripts right now, installing all required languages to successfully verify examples takes quite a while (5-10 minutes, installing just shy of 1000 deb packages...)
Thus, my plan is to build a CI docker image (#321) which is just an ubuntu with all the requisite .deb packages to build and run problemtools (with all supported languages) and use that in our workflows. The image ends up quite large (6GB), so we'll see what performance is like.
Our CI should run
verifyproblemon all example problems to help catch errors. While we could technically just add it to our workflow scripts right now, installing all required languages to successfully verify examples takes quite a while (5-10 minutes, installing just shy of 1000 deb packages...)Thus, my plan is to build a CI docker image (#321) which is just an ubuntu with all the requisite
.debpackages to build and run problemtools (with all supported languages) and use that in our workflows. The image ends up quite large (6GB), so we'll see what performance is like.