Thanks very much! I didn't know about this. I'll experiment with it later.
- Qian On 10/16/24 6:53 PM, Dima Pasechnik wrote:
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
-- 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/6bc7924b-940c-49c5-afa6-54d199ac4347%40gmail.com.
