On Wed, Oct 16, 2024 at 11:26 AM Qian Yun <[email protected]> wrote: > > In this branch, > https://github.com/oldk1331/fricas/commits/ci-all-lisps/ > or more precisely, in this commit, > https://github.com/oldk1331/fricas/commit/82efa424ff78fa24be1496cae389c64fe87c492d > > I added more Lisps to CI: > > Linux : sbcl clisp ecl ccl gcl > macOS x86-64: sbcl clisp ecl ccl > macOS arm64 : sbcl clisp ecl > Windows : sbcl ccl > > I don't intend to merge this to trunk. I think running this > once per month and before release is enough.
Let me suggest a more convenient workflow. You can set the triggering of this rule to manual - then to invoke it you need to do via the actions web interface, not automatically (via push/commit etc) https://docs.github.com/en/actions/managing-workflow-runs-and-deployments/managing-workflow-runs/manually-running-a-workflow For this you need to replace in your .yml file on: [push, pull_request] with on: workflow_dispatch Then certainly you can merge it into the main branch, it would not trigger anything automatically. And it can be started by anyone with suffcient rights for the repo. HTH Dima > This helps me to uncover the ccl-windows-gmp bug, and 2 minor > CLISP bugs. > > SBCL takes around 10min, CCL around 15min, GCL around 20min, > CLISP around 25min, ECL around 30min. > > BTW, one interesting finding: I find that CLISP produces > the smallest distribution. If I remove htex pages and viewports, > I can fit fricas-clisp into a 9MB compressed tarball. > > - 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/032148c8-62ae-43f8-bdf6-c19ef2100e3e%40gmail.com. -- 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/CAAWYfq3cE4oVNLHdHcofKZfL_Y_4h%3Ds_OmTgVQTh6gAaWo5O9Q%40mail.gmail.com.
