From 54dfe70b4108be56662ee4a153655121b93eb8ea Mon Sep 17 00:00:00 2001 From: Achilleas Koutsou Date: Fri, 22 Dec 2023 16:19:22 +0100 Subject: [PATCH] github: run tests on push again We've temporarily disabled the merge queue because our tests often require retries to go all-green and this isn't possible to do on the queue, meaning that it's close to impossible to get a PR merged. Run tests on push so that they run in main when a PR is merged. This reverts commit 63feab7d864743b69ea61255b1509a5d749b9e3a. --- .github/workflows/check.yml | 2 +- .github/workflows/generate.yml | 2 +- .github/workflows/test.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index ad16fdc0..e9c192d7 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -1,6 +1,6 @@ name: Checks -on: [pull_request, merge_group] +on: [pull_request, push] permissions: contents: read diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml index 8fad209f..4e148b38 100644 --- a/.github/workflows/generate.yml +++ b/.github/workflows/generate.yml @@ -1,6 +1,6 @@ name: Generate -on: [pull_request, push, merge_group] +on: [pull_request, push] jobs: generate_documentation: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index bf906b1f..a2f627cb 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -1,6 +1,6 @@ name: Tests -on: [pull_request, merge_group] +on: [pull_request, push] jobs: test_suite: