From 1e311e8024bf8402482e494de63c916e962c6539 Mon Sep 17 00:00:00 2001
From: Sebastian Hartte <shartte@users.noreply.github.com>
Date: Wed, 8 Nov 2023 11:09:10 +0100
Subject: [PATCH] Better displayed name.

---
 .github/workflows/pr.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 02e9dee86..551d57bd0 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -11,8 +11,10 @@ on:
 
 jobs:
   build:
+    name: Build (Java ${{ matrix.java }}, Gradle ${{ matrix.gradle }})
     runs-on: ubuntu-latest
     strategy:
+      fail-fast: false
       matrix:
         include:
           - java: 11