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
fricas-devel...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/032148c8-62ae-43f8-bdf6-c19ef2100e3e%40gmail.com.