From 2218706d7d8038cb7d56d2416e898d0ed635b744 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20L=C3=B6ffler?= Date: Thu, 25 Jul 2024 18:01:56 +0200 Subject: [PATCH] compile paper also on push --- .github/workflows/paper.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/paper.yml b/.github/workflows/paper.yml index e38d120..2042b5c 100644 --- a/.github/workflows/paper.yml +++ b/.github/workflows/paper.yml @@ -5,6 +5,7 @@ on: branches: - main workflow_dispatch: + push: jobs: build: