From e56a38b73f3ff1f1e6c59cbaffc2ade482e1fd56 Mon Sep 17 00:00:00 2001 From: Sebastian Goscik Date: Tue, 22 Feb 2022 23:27:02 +0000 Subject: [PATCH] CI: Prevent building dev docker on pull requests --- .github/workflows/dev.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml index ea4ff46..bed84c6 100644 --- a/.github/workflows/dev.yml +++ b/.github/workflows/dev.yml @@ -55,6 +55,7 @@ jobs: dev_container: name: Create dev container runs-on: ubuntu-20.04 + if: github.event_name != 'pull_request' strategy: matrix: python-versions: [3.9]