We have a discussion about Travis CI 3 years ago, now we have moved to GitHub, I believe now it's time to have CI?
One point Waldek raised was "run test before commit". If we have CI support, and you commit in your own master repo before merge into main repo, you can "run test before commit". For pull request, with CI we can run tests before commit. Even if we commit directly into repo, with CI we can find problems more quickly. (Anyway, I assume we don't run a full build and full test before commit, most of time, right? :-) So, if we all agree to add CI support, I'll post a simple CI script for discussion, and we can add functionality gradually over time. - Best, - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/f9075af2-60d8-a1d1-a3ab-551c0b670b2d%40gmail.com.
