From c34b046292ba28314abf3a0ba1d0d7053ba2b503 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 24 Sep 2024 10:16:02 +0200
Subject: [PATCH] Run PR and main tests against 4.13.1, too

---
 .github/workflows/pull-request.yml        | 14 +++++------
 .github/workflows/test-all-and-report.yml | 30 +++++++++++------------
 README.md                                 |  4 +--
 3 files changed, 24 insertions(+), 24 deletions(-)

diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
index 9023cfd7c..3bcabdffe 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@@ -87,13 +87,13 @@ jobs:
     with:
       which-gap: 'master'
 
-#   test-all-release:
-#     name: "4.12.2"
-#     needs: detect-changes
-#     if: ${{ needs.detect-changes.outputs.modified == 'true' }}
-#     uses: ./.github/workflows/test-all.yml
-#     with:
-#       which-gap: '4.12.2'
+  test-all-release:
+    name: "4.13.1"
+    needs: detect-changes
+    if: ${{ needs.detect-changes.outputs.modified == 'true' }}
+    uses: ./.github/workflows/test-all.yml
+    with:
+      which-gap: '4.13.1'
 
   status-comment:
     name: "Create or update PR comment"
diff --git a/.github/workflows/test-all-and-report.yml b/.github/workflows/test-all-and-report.yml
index f5b2217ac..58887f3ee 100644
--- a/.github/workflows/test-all-and-report.yml
+++ b/.github/workflows/test-all-and-report.yml
@@ -43,18 +43,18 @@ jobs:
       which-gap: master
 
   # latest GAP release
-#   test-all-release:
-#     # If you change this name, you must adjust the corresponding prefix
-#     # in the step of test-all.yml that calls tools/generate_test_status.py
-#     name: "4.12.2"
-#     uses: ./.github/workflows/test-all.yml
-#     with:
-#       which-gap: 4.12.2
-# 
-#   update-latest-release:
-#     name: "Upload 4.12.2 report"
-#     needs: test-all-release
-#     if: always()
-#     uses: ./.github/workflows/update-latest-report.yml
-#     with:
-#       which-gap: 4.12.2
+  test-all-release:
+    # If you change this name, you must adjust the corresponding prefix
+    # in the step of test-all.yml that calls tools/generate_test_status.py
+    name: "4.13.1"
+    uses: ./.github/workflows/test-all.yml
+    with:
+      which-gap: 4.13.1
+
+  update-latest-release:
+    name: "Upload 4.13.1 report"
+    needs: test-all-release
+    if: always()
+    uses: ./.github/workflows/update-latest-report.yml
+    with:
+      which-gap: 4.13.1
diff --git a/README.md b/README.md
index 02c83f7c6..1ff01f159 100644
--- a/README.md
+++ b/README.md
@@ -7,9 +7,9 @@ on this repository.
 
 ## High-level status dashboard
 
-| Test            | GAP `master` | GAP `4.12.2` |
+| Test            | GAP `master` | GAP `4.13.1` |
 |:---------------:|:----------:|:----------:|
-| Released packages | [![Tests](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/gap-system/PackageDistro/data/badges/latest-master/badge.json)](https://gap-system.github.io/PackageDistro/latest-master/redirect.html) | [![Tests](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/gap-system/PackageDistro/data/badges/latest-4.12.2/badge.json)](https://gap-system.github.io/PackageDistro/latest-4.12.2/redirect.html) |
+| Released packages | [![Tests](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/gap-system/PackageDistro/data/badges/latest-master/badge.json)](https://gap-system.github.io/PackageDistro/latest-master/redirect.html) | [![Tests](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/gap-system/PackageDistro/data/badges/latest-4.13.1/badge.json)](https://gap-system.github.io/PackageDistro/latest-4.13.1/redirect.html) |
 
 
 ## Instructions for package authors