From 670841eb6b1bb046dce9f5120543da42b16bb6c1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julian=20Gro=C3=9F?= <julian.g@posteo.de>
Date: Thu, 11 May 2023 12:35:08 +0200
Subject: [PATCH] Change job names
---
.github/workflows/pr_build.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/pr_build.yml b/.github/workflows/pr_build.yml
index ceefa9dda9..9ed84439a9 100644
--- a/.github/workflows/pr_build.yml
+++ b/.github/workflows/pr_build.yml
@@ -42,7 +42,7 @@ env:
jobs:
build_pr:
- name: "${{matrix.os}}, ${{matrix.build_type}}"
+ name: "${{matrix.os}}, ${{matrix.arch}}"
strategy:
matrix:
include: