From 178d72e85cb41c485f8309d4ab03a53a53959c1b Mon Sep 17 00:00:00 2001
From: Volker Mische <volker.mische@gmail.com>
Date: Wed, 28 Aug 2024 18:37:16 +0200
Subject: [PATCH] chore: name proof params workflow correctly

---
 .github/workflows/ci.yml           | 6 +++---
 .github/workflows/proof-params.yml | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d0dfafafd..22a92d7ad 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,9 +4,9 @@ on: [pull_request, push]
 
 # Cancel a job if there's a new on on the same branch started.
 # Based on https://stackoverflow.com/questions/58895283/stop-already-running-workflow-job-in-github-actions/67223051#67223051
-#concurrency:
-#  group: ${{ github.ref }}
-#  cancel-in-progress: true
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
 
 env:
   CARGO_INCREMENTAL: 0
diff --git a/.github/workflows/proof-params.yml b/.github/workflows/proof-params.yml
index 64b3ea76c..3ca2db398 100644
--- a/.github/workflows/proof-params.yml
+++ b/.github/workflows/proof-params.yml
@@ -1,4 +1,4 @@
-name: CI
+name: Proof params
 
 on: [pull_request, push]