From 3ccd4202b9477575ba3f83bf589304b52351a53a Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Wed, 21 Feb 2024 20:50:22 +0100
Subject: [PATCH] run tests before deployment

---
 .github/workflows/deploy.yml | 4 ++++
 .github/workflows/test.yml   | 1 +
 2 files changed, 5 insertions(+)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 2a5bc46..ee0bd6e 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -7,8 +7,12 @@ on:
       - 'v[0-9]+.[0-9]+.[0-9]+'
 
 jobs:
+  test:
+    uses: ./.github/workflows/test.yml
+
   deploy:
     name: deploy
+    needs: test
     permissions:
       id-token: write
     environment: release
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index f1a96c0..dde6a57 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches: [devel, main, master, wip]
   pull_request:
+  workflow_call:
 
 env:
   FORCE_COLOR: "3"