diff --git a/.github/workflows/autobranch.yml b/.github/workflows/autobranch.yml index 8ec90b21f6832e909f238d19e78a829f4e60b7eb..b1326fe417d01289759ecabb6db5b679bc98d073 100644 --- a/.github/workflows/autobranch.yml +++ b/.github/workflows/autobranch.yml @@ -10,8 +10,7 @@ on: # Run the workflow when the base branch is updated. # - # Note that a push from a workflow will by default not trigger a push event, - # so we list both branches here as "main" only would currently do nothing: + # Note that a push from a workflow will by default not trigger a push event: # https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow push: branches: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 311557db1a3a2b81e13a69c03f6bbd66b33443fa..b29f776ebeaaa48b4a650dfd02c103b9ba958c3f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -12,9 +12,13 @@ on: required: false default: 'main' - # If someone pushes something to a branch on the repo directly. It is useful - # to test new github actions - push: null + # Run the tests when anything is merged in "main", since the test in the PR + # might have been carried on an older base. Github allows merging as long as + # the PR can be rebased without conflict, which does not guarantee in itself + # nothing is broken. + push: + branches: + - 'main' jobs: # Set the job key. The key is displayed as the job name