GitHub action pipeline not run automatically

[steindvart]

Problem

I discovered that the GitHub actions pipeline described in .github/workflows/main.yml did not run on my recent PR (#222).

This may be due to the GitHub actions repository settings. I see that “approval from a maintainer” is required before the pipeline can run.

I don't think this is right, because the pipeline should run without waiting for approval from the maintainer so that the PR author can verify that their changes meet the pipeline requirements. And in case of non-compliance, they can quickly fix them without wasting their time or the maintainer's time.

Proposal

1. Check the GitHub actions settings of the repository for settings that require approval from the maintainer to running the GitHub pipeline (https://docs.github.com/en/actions/how-tos/manage-workflow-runs/approve-runs-from-forks).
2. Configure it so that the pipeline starts automatically when a PR is created or modified.

Arguments

• Faster feedback for contributors: automatic pipeline runs let the PR author see failures immediately and fix them before a maintainer reviews the PR.
• Better contributor experience: lowering friction encourages more contributions, especially from external or new contributors.

[steindvart]