From aff6b168c33d2a8283a24e01277d94e4815b8557 Mon Sep 17 00:00:00 2001 From: Olivier Desenfans Date: Thu, 2 Nov 2023 14:16:01 +0100 Subject: [PATCH] CI: do not build on push (#499) Stop wasting CI time. --- .github/workflows/pyaleph-ci.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/pyaleph-ci.yml b/.github/workflows/pyaleph-ci.yml index bf967ac94..b42e7cb5b 100644 --- a/.github/workflows/pyaleph-ci.yml +++ b/.github/workflows/pyaleph-ci.yml @@ -8,11 +8,9 @@ on: branches: - dev - master - - "*" pull_request: branches: - - dev - - master + - "*" jobs: tests: